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; Why3; Isabelle/HOL; Spec#; Boogie; PVS; Eiffel; SIMPLIFY; Dafny; Coq; z3; WhyML; Caduceus; JUnit; VeriFast; OpenJML; Frama-C; Maude Cited in: 57 Documents Further Publications: http://www.key-project.org/publicat.html Standard Articles 3 Publications describing the Software, including 3 Publications in zbMATH Year KeY: A formal method for object-oriented systems. Zbl 1202.68092Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 2007 The KEY system: Integrating object-oriented design and formal methods. Zbl 1059.68548Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Hähnle, Reiner; Menzel, Wolfram; Mostowski, Wojciech; Schmitt, Peter H. 2002 The KeY approach: Integrating object oriented design and formal verification. Zbl 0998.68651Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Giese, Martin; Habermalz, Elmar; Hähnle, Reiner; Menzel, Wolfram; Schmitt, Peter H. 2000 all top 5 Cited by 113 Authors 8 Beckert, Bernhard 7 Ahrendt, Wolfgang 7 Hähnle, Reiner 4 De Gouw, Stijn 4 Rümmer, Philipp 3 Bubel, Richard 3 de Boer, Frank S. 3 Giese, Martin A. 3 Habermalz, Elmar 3 Pinto, Jorge Sousa 3 Röth, Andreas Barthel 3 Schlager, Steffen 3 Schmitt, Peter H. 3 Ulbrich, Mattias 2 Baar, Thomas 2 Brucker, Achim D. 2 Frade, Maria João 2 Gedell, Tobias 2 Gladisch, Christoph D. 2 Kovács, Laura Ildikó 2 Menzel, Wolfram 2 Mostowski, Wojciech I. 2 Müller, Peter 2 Nanchen, Stanislas 2 Platzer, André 2 Rot, Jurriaan 2 Schaefer, Ina 2 Schneider, Gerardo 2 Stärk, Robert F. 2 Wolff, Burkhart 1 Abbasi, Rosa 1 Andronick, June 1 Aspinall, David 1 Barros, José Bernardo 1 Beringer, Lennart 1 Bian, Jinting 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 de Boer, Martin J. M. 1 Detlefs, David L. 1 Durán, Francisco 1 El Ghazi, Aboubakr Achraf 1 Feinerer, Ingo 1 Fulton, Nathan 1 Geilmann, Ulrich 1 Ghezzi, Carlo 1 Groves, Lindsay J. 1 He, Guanhua 1 Henriques, Pedro Rangel 1 Henzinger, Thomas A. 1 Hiep, Hans-Dieter A. 1 Hofmann, Martin 1 Hottelier, Thibaud 1 Johannisson, Kristofer 1 Jung, Christian Antonius 1 Kauer, Stefan 1 Klamroth, Jonas 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 Mullins, John 1 Nelson, Greg 1 Oarga, Raveca 1 Pace, Gordon J. 1 Pardylla, Carsten Immanuel 1 Paulin-Mohring, Christine 1 Paveri-Fontana, Gabriele 1 Pearce, David J. 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 ...and 13 more Authors all top 5 Cited in 11 Serials 6 Formal Aspects of Computing 4 Journal of Automated Reasoning 2 Theoretical Computer Science 2 Science of Computer Programming 2 Formal Methods in System Design 1 Acta Informatica 1 Journal of Symbolic Computation 1 Journal of the ACM 1 RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 57 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX) Citations by Year