The research group on Application-oriented Formal Verification led by Prof. Bernhard Beckert
exists since 2009 at the
Institute of Theoretical Informatics and the KIT
Department of Informatics.
Our main research topic is the practical
application of logic and formal methods for the
specification and verification of software. In particular,
we address the following application areas:
The new book covers deductive software verification as realised by the KeY approach.
It constitutes the ultimate source for the KeY tool since version 2.x.
The KeY book is published by Springer as vol. 10001 in the LNCS series) and available at
Am Fasanengarten 5 76131 Karlsruhe Germany Phone: +49 721 608-44023 Fax: +49 721 608-44021 Email: simone.meinhartHfu8∂kit.edu