bernhard beckert

Formal Verification of Object-Oriented Software

This book presents the thoroughly refereed post-conference proceedings of the International Confe...

Electronic Voting

This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E...

Tests and Proofs

This book constitutes the refereed proceedings of the Second International Conference on Test and...

Deductive Software Verification - The KeY Book

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

Formal Verification of Object-Oriented Software

This book presents the thoroughly refereed post-conference proceedings of the International Confe...

Verification of Object-Oriented Software. The KeY Approach

The ultimate goal of program verification is not the theory behind the tools or the tools themsel...

Automated Reasoning with Analytic Tableaux and Related Methods

Formal Methods for Components and Objects

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Electronic Voting

This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E...

Deductive Software Verification: Future Perspectives

Since the inception of the KeY project two decades ago, the area of deductive verification has ev...

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...

Deductive Software Verification - The KeY Book

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