Fundamental Approaches to Software Engineering

By Reiner Hahnle, Wil Van Der Aalst

Leveraging Applications of Formal Methods Verification and Validation

By Jens Knoop, Reiner Hahnle, Tiziana Margaria

Formal Methods for Components and Objects

By Reiner Hahnle, Frank S. De Boer, Elena Giachino, Marcello M. Bonsangue

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this v...

Verification of Object Oriented Software. The KeY Approach

By

Deductive Software Verification Future Perspectives

By Mattias Ulbrich, Reiner Hahnle, Wolfgang Ahrendt, Richard Bubel, Bernhard Beckert

Fundamental Approaches to Software Engineering

By Reiner Hahnle

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took p...

Deductive Software Verification the KeY Book

By Reiner Hahnle, Wolfgang Ahrendt, Richard Bubel, Peter H. Schmitt, Bernhard Beckert

Deductive Software Verification the KeY Book

By Reiner Hahnle, Wolfgang Ahrendt, Richard Bubel, Peter H. Schmitt, Bernhard Beckert

Tests and Proofs

By Reiner Hahnle, Bernhard Beckert

Verification of Object Oriented Software. the KeY Approach

By Reiner Hahnle, Peter H. Schmitt, Bernhard Beckert