Electronic Voting

This book constitutes the proceedings of the 4t...

Formal Verification of Object-Oriented Software

This book presents the thoroughly refereed post...

Formal Verification of Object-Oriented Software

This book presents the thoroughly refereed post...

Verification of Object-Oriented Software. The KeY Approach

The ultimate goal of program verification is no...

Formal Methods for Components and Objects

Formal methods have been applied successfully t...

Deductive Software Verification - The KeY Book

Static analysis of software with deductive meth...

Automated Reasoning with Analytic Tableaux and Related Methods

Tests and Proofs

This book constitutes the refereed proceedings ...

Electronic Voting

This book constitutes the proceedings of the 5t...

Deductive Software Verification: Future Perspectives

Since the inception of the KeY project two deca...

The Logic of Software. A Tasting Menu of Formal Methods

This Festschrift, dedicated to Reiner Hähnle on...

Deductive Software Verification ¿ The KeY Book

Static analysis of software with deductive meth...