Verifying Object-Oriented Programs with KeY: A Tutorial

This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fill the gap between

• Type: Conference
• Year: 2006
• Where: FMCO
• Authors: Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
• Keywords: FMCO 2006, Formal Methods, Formal Software Development, Formal Specification, Semi-automatic Verification