R
Reiner Hähnle
Researcher at Technische Universität Darmstadt
Publications - 207
Citations - 5571
Reiner Hähnle is an academic researcher from Technische Universität Darmstadt. The author has contributed to research in topics: Formal verification & Formal specification. The author has an hindex of 37, co-authored 207 publications receiving 5214 citations. Previous affiliations of Reiner Hähnle include University of Turin & Chalmers University of Technology.
Papers
More filters
Book
Verification of Object-Oriented Software. the Key Approach
TL;DR: This KeY book presents deductive verification in an expressive program logic, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.
Book ChapterDOI
ABS: a core language for abstract behavioral specification
TL;DR: A subject reduction property is proved which shows that well-typedness is preserved during execution; in particular, "method not understood" errors do not occur at runtime for well-TYped ABS models.
Journal ArticleDOI
The KeY tool
Wolfgang Ahrendt,Thomas Baar,Bernhard Beckert,Richard Bubel,Martin Giese,Reiner Hähnle,Wolfram Menzel,Wojciech Mostowski,Andreas Roth,Steffen Schlager,Peter H. Schmitt +10 more
TL;DR: KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development and provides a state-of-the-art theorem prover for interactive and automated verification.
BookDOI
Handbook of tableau methods
TL;DR: In this paper, D'Agostino et al. present Tableau Methods for Classical Propositional Logic and Tableaux Methods for Substructural Logics for Non-monotonic Logics N. Olivetti.
BookDOI
Deductive Software Verification - The KeY Book
Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich +5 more
TL;DR: This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice and contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work.