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
A grouping.
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.
9 references
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