The KeY tool: integrating object oriented design and formal verification W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ... Software & Systems Modeling 4, 32-54, 2005 | 412 | 2005 |
RACË Å B Beckert, M Giese, E Habermalz, R Hähnle, A Roth, P Rummer, ... Ciencias 98 (1), 17-53, 2004 | 40 | 2004 |
A sequent calculus for first-order dynamic logic with trace modalities B Beckert, S Schlager International Joint Conference on Automated Reasoning, 626-641, 2001 | 36 | 2001 |
Software verification with integrated data type refinement for integer arithmetic B Beckert, S Schlager Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 32 | 2004 |
An improved rule for while loops in deductive program verification B Beckert, S Schlager, PH Schmitt International Conference on Formal Engineering Methods, 315-329, 2005 | 27 | 2005 |
The KeY system 1.0 (deduction component) B Beckert, M Giese, R Hähnle, V Klebanov, P Rümmer, S Schlager, ... International Conference on Automated Deduction, 379-384, 2007 | 22 | 2007 |
Supporting confidentiality in UML: A profile for the Decentralized Label Model R Heldal, S Schlager, J Bende Proc. International Workshop on Critical Systems Development with UML, 56-70, 2004 | 15 | 2004 |
Dynamic logic B Beckert, V Klebanov, S Schlager Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007 | 11 | 2007 |
Handling of integer arithmetic in the verification of JAVA programs S Schlager Master’s thesis, Universität Karlsruhe, 2002. Available at: http://i12www …, 2002 | 11 | 2002 |
Refinement and retrenchment for programming language data types B Beckert, S Schlager Formal Aspects of Computing 17, 423-442, 2005 | 9 | 2005 |
Verification of JCSP Programs. V Klebanov, P Rümmer, S Schlager, PH Schmitt CPA, 203-218, 2005 | 9 | 2005 |
Symbolic execution as a framework for deductive verification of object-oriented programs S Schlager Sierke, 2007 | 6 | 2007 |
Integer arithmetic in the specification and verification of JAVA programs B Beckert, S Schlager Proceedings, Workshop on Tools for System Design and Verification (FM-TOOLS …, 2002 | 6 | 2002 |
Erweiterung der Dynamischen Logik um temporallogische Operatoren S Schlager M. Phil. thesis, Universität Karlsruhe, Fakultät für Informatik. http …, 2000 | 2 | 2000 |
Key quicktour T Baar, R Hähnle, S Schlager, S Lauer See http://www. key-project. org/download, 0 | 2 | |
Key quicktour for jml T Baar, R Hähnle, S Schlager | 1 | 2013 |
Session 10-Model Checking and Verification-The KeY System 1.0 B Beckert, M Giese, R Hahnle, V Klebanov, P Rummer, S Schlager, ... Lecture Notes in Computer Science 4603, 379-384, 2007 | | 2007 |
Predefined Operators in Java Card DL S Schlager Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007 | | 2007 |
Java Integers S Schlager Verification of Object-Oriented Software. The KeY Approach: Foreword by K …, 2007 | | 2007 |
The KeY Tool R Hähnle, W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, W Menzel, ... Software and Systems Modeling 4 (1), 32-54, 2005 | | 2005 |