The KeY tool
Top Cited Papers
- 1 February 2005
- journal article
- Published by Springer Nature in Software and Systems Modeling
- Vol. 4 (1) , 32-54
- https://doi.org/10.1007/s10270-004-0058-x
Abstract
No abstract availableKeywords
This publication has 31 references indexed in Scilit:
- The Definition of Transitive Closure with OCL – Limitations and Applications –Published by Springer Nature ,2004
- Metamodels without MetacircularitiesL'objet, 2003
- A Program Logic for Handling Java Card’s Transaction MechanismPublished by Springer Nature ,2003
- Deductive Search for Errors in Free Data Type Specifications Using Model GenerationPublished by Springer Nature ,2002
- The Key System: Integrating Object-Oriented Design and Formal MethodsPublished by Springer Nature ,2002
- An Extension of Dynamic Logic for Modelling OCL’s @pre OperatorPublished by Springer Nature ,2001
- The Approach: Integrating Object Oriented Design and Formal VerificationPublished by Springer Nature ,2000
- Formal System Development with KIVPublished by Springer Nature ,2000
- Entwurfsmustergesteuerte Erzeugung von OCL-ConstraintsPublished by Springer Nature ,2000
- Embracing change with extreme programmingComputer, 1999