The KEY system: Integrating object-oriented design and formal methods

DOI10.1007/3-540-45923-5_23MaRDI QIDQ4738337zbMATH OpenFDO

Authors Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060327.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• The KeY approach: Integrating object oriented design and formal verification
• KeY: A Formal Method for Object-Oriented Systems
• A formal approach to object-oriented software engineering
• Validated designs for object-oriented systems.
• Formal software development in the Verification Support Environment (VSE)

Cited in

(7)

• KeY
• A formal object-oriented analysis for software reliability: design for verification
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• scientific article; zbMATH DE number 1552513 (Why is no real title available?)
• The KeY approach: Integrating object oriented design and formal verification
• KeY: A Formal Method for Object-Oriented Systems
• Review of Logical Analysis of Hybrid Systems

This page was built for publication: The KEY system: Integrating object-oriented design and formal methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738337)