Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
By Bernhard Beckert, Reiner Hähnle, P. Schmitt. The KeY Approach, 2007
507 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Information Systems, Software
View Paper: https://www.semanticscholar.org/paper/6bebb1b29eb09b7b349db7b1bf14223f36428cf2
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Jan-David Quesel
- André Platzer
- M. Leino
- K. Rustan
- Reiner Hähnle
- Rajeev Alur
- Danfeng Zhang
- Daniel Kifer
In Information Systems
In Software
Citations in the corpus
- Dafny: An Automatic Program Verifier for Functional Correctness (2010, methodology): “The KeY tool [7] accepts JML specifications, but the tool uses an interactive verifier.”
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (2008, methodology): “We have implemented KeYmaera as a combination of the deductive theorem prover KeY [2] with the computer algebra system Mathematica, see Fig.”
- Deductive Software Verification – The KeY Book (2016, background): “We present model fields as they appear in standard JML and their role in the KeY system in Section 9.2.1, as well as the more advanced concept of model methods in Section 9.2.2.”