Reiner Hähnle
9 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Reiner Hähnle
Reiner Hähnle: the KeY line - taclets, the two KeY books, the OpenJDK sort results - and an assessment of Dijkstra's legacy on program verification.
Dijkstra's legacy on program verification
Reiner Hähnle (2022) · Edsger Wybe Dijkstra: His Life, Work, and Legacy · Association for Computing Machinery
Verifying OpenJDK's Sort Method for Generic Collections
Stijn de Gouw and others (2019) · Journal of Automated Reasoning · Springer
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools
Reiner Hähnle and others (2019) · Lecture notes in computer science · Springer Science+Business Media
Deductive Software Verification – The KeY Book
Mattias Ulbrich and others (2016) · Springer
OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case
Stijn de Gouw and others (2015) · Computer Aided Verification · Springer
Verification of object-oriented software: The KeY approach
Bernhard Beckert and others (2007) · Springer-Verlag
Symbolic fault injection
Daniel Larsson and others (2007) · International Verification Workshop (VERIFY)
KeY-C: A Tool for Verification of C Programs
Oleg Mürk and others (2007) · Springer Berlin Heidelberg
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
Bernhard Beckert and others (2004) · RACSAM