Sciweavers

Share
FMCO
2006
Springer

Verifying Object-Oriented Programs with KeY: A Tutorial

12 years 3 months ago
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
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FMCO
Authors Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
Comments (0)
books