×

KeY

swMATH ID: 9969
Software Authors: http://www.key-project.org/people.html
Description: The KeY System is a formal software development tool that aims to integrate design, implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible. At the core of the system is a novel theorem prover for the first-order Dynamic Logic for Java with a user-friendly graphical interface. The project was started in November 1998 at the University of Karlsruhe. It is now a joint project of Karlsruhe Institute of Technology and Chalmers University of Technology, Gothenburg and TU Darmstadt.
Homepage: http://www.key-project.org/
Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; Why3; Eiffel; SIMPLIFY; z3; Coq; Isabelle/HOL; VeriFast; Dafny; Caduceus; JUnit; Maude; LOOP; SPARK; LARCH
Referenced in: 51 Publications
Further Publications: http://www.key-project.org/publicat.html
all top 5

Referenced by 102 Authors

8 Beckert, Bernhard
7 Ahrendt, Wolfgang
6 Hähnle, Reiner
4 Rümmer, Philipp
3 Giese, Martin A.
3 Habermalz, Elmar
3 Röth, Andreas Barthel
3 Schlager, Steffen
3 Schmitt, Peter H.
2 Baar, Thomas
2 Brucker, Achim D.
2 Bubel, Richard
2 de Boer, Frank S.
2 De Gouw, Stijn
2 Gedell, Tobias
2 Gladisch, Christoph D.
2 Kovács, Laura Ildikó
2 Menzel, Wolfram
2 Mostowski, Wojciech I.
2 Nanchen, Stanislas
2 Pinto, Jorge Sousa
2 Platzer, André
2 Rot, Jurriaan
2 Schaefer, Ina
2 Schneider, Gerardo
2 Stärk, Robert F.
2 Ulbrich, Mattias
2 Wolff, Burkhart
1 Abbasi, Rosa
1 Andronick, June
1 Aspinall, David
1 Barros, José Bernardo
1 Beringer, Lennart
1 Bonakdarpour, Borzoo
1 Burke, David A.
1 Chalin, Patrice
1 Chechik, Marsha
1 Chetali, Boutheina
1 Chimento, Jesús Mauricio
1 Chin, Wei-Ngan
1 da Cruz, Daniela
1 Darulova, Eva
1 Detlefs, David L.
1 Durán, Francisco
1 El Ghazi, Aboubakr Achraf
1 Feinerer, Ingo
1 Frade, Maria João
1 Fulton, Nathan
1 Geilmann, Ulrich
1 Ghezzi, Carlo
1 He, Guanhua
1 Henriques, Pedro Rangel
1 Henzinger, Thomas A.
1 Hofmann, Martin
1 Hottelier, Thibaud
1 Johannisson, Kristofer
1 Kauer, Stefan
1 Knüppel, Alexander
1 Kohlhase, Michael
1 Leavens, Gary T.
1 Leino, K. Rustan M.
1 Loidl, Hans-Wolfgang
1 Mance, Felix
1 Meier, Andreas
1 Melis, Erica
1 Menghi, Claudio
1 Mitsch, Stefan
1 Momigliano, Alberto
1 Montenegro, Manuel
1 Müller, Peter
1 Mullins, John
1 Nelson, Greg
1 Oarga, Raveca
1 Pace, Gordon J.
1 Pardylla, Carsten Immanuel
1 Paulin-Mohring, Christine
1 Peltier, Nicolas
1 Peña, Ricardo
1 Poetzsch-Heffter, Arnd
1 Qin, Shengchao
1 Quesel, Jan-David
1 Rabe, Florian
1 Robillard, Simon
1 Roldán, Manuel
1 Salzer, Gernot
1 Sánchez-Hernández, Jaime
1 Sánchez, César
1 Sasse, Ralf
1 Saxe, James B.
1 Schiffl, Jonas
1 Schulte, Wolfram
1 Shah, Muhammad Ali
1 Spoletini, Paola
1 Steinhöfel, Dominic
1 Stucki, Sandro
1 Taghdiri, Mana
1 Thüm, Thomas
1 Trentelman, Kerry
1 Vallecillo, Antonio
1 Völp, Marcus
...and 2 more Authors

Referencing Publications by Year