Verification of Object-Oriented Software:
The KeY Approach

Bernhard Beckert
Reiner Hähnle
Peter H. Schmitt (Eds.)

Springer-Verlag, LNCS 4334
15 chapters and 2 appendices, xxix + 658 pages
ISBN: 3-540-68977-X

BibTeX Entry   Online Version

The definitive source for all information related to the KeY project

Table of contents (PDF)

KeY 1.0

KeY 1.0 is the version of the KeY system that is used in the book. It is available for download here (under "older versions")

Examples from the book (for use with KeY 1.0)

Download available examples from the KeY Book

book cover