Sciweavers

FMOODS
2007

KeY: A Formal Method for Object-Oriented Systems

13 years 3 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of object-oriented software. It aims for integrating design, implementation, formal specification and formal verification as seamlessly as possible. The intention is to provide a platform that allows close collaboration of conventional and formal software development methods.
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FMOODS
Authors Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Comments (0)