The Approach: Integrating Object Oriented Design and Formal Verification [chapter]

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
2000 Lecture Notes in Computer Science  
This paper reports on the ongoing KeY project aimed at bridging the gap between (a) object-oriented software engineering methods and tools and (b) deductive verification. A distinctive feature of our approach is the use of a commercial CASE tool enhanced with functionality for formal specification and deductive verification.
doi:10.1007/3-540-40006-0_3 fatcat:buhfdmn74rhbjp5snxbfeuzxei