Deductive Software Verification - The KeY Book

Static analysis of software with deductive methods is a highly dynamic field of research on the v...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 15th International Conference on Integrated...

Tests and Proofs

Deductive Software Verification: Future Perspectives

This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

The Logic of Software. A Tasting Menu of Formal Methods

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...