scientific article; zbMATH DE number 2087530

MaRDI 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

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
• scientific article; zbMATH DE number 2130218
• 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:

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