Bernhard Beckert
TitleCited byYear
Verification of object-oriented software: The KeY approach
B Beckert, R Hähnle, PH Schmitt
Springer-Verlag, 2007
722*2007
The KeY Tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Chalmers University and Göteborg University, Technical Report in Computing …, 2003
3612003
The KeY tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4 (1), 32-54, 2005
3602005
leanTAP: Lean tableau-based deduction
B Beckert, J Posegga
Journal of Automated Reasoning 15 (3), 339-358, 1995
2331995
Translating the Object Constraint Language into first-order predicate logic
B Beckert, U Keller, PH Schmitt
Proc. of the VERIFY Workshop at Federated Logic Conferences (FLoC), 113-123, 2002
1552002
Deductive Software Verification–The KeY Book: From Theory to Practice
W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich
Springer, 2016
140*2016
A Dynamic Logic for the Formal Verification of Java Card Programs
B Beckert
Java on Smart Cards: Programming and Security, 6-24, 2001
1162001
The even more liberalized δ-rule in free variable semantic tableaux
B Beckert, R Hähnle, PH Schmitt
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 108-119, 1993
871993
The KeY Approach: Integrating Object Oriented Design and Formal Verification
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
Logics in Artificial Intelligence (JELIA), 21-36, 2000
82*2000
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
791997
Free variable tableaux for propositional modal logics
B Beckert, R Goré
Universität Karlsruhe, Fakultät für Informatik, 1996
791996
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
662014
Transformations between signed and classical clause logic
B Beckert, R Hahnle, F Manya
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999
631999
The tableau-based theorem prover 3TAP: Version 4.0
B Beckert, R Hähnle, P Oel, M Sulzmann
Automated Deduction—Cade-13, 303-307, 1996
54*1996
An improved method for adding equality to free variable semantic tableaux
B Beckert, R Hähnle
International Conference on Automated Deduction, 507-521, 1992
54*1992
Dynamic Logic with Non-rigid Functions
B Beckert, A Platzer
International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006
512006
The SAT problem of signed CNF formulas
B Beckert, R Hähnle, F Manya
Labelled Deduction 17, 59-80, 2000
512000
Formal verification of a microkernel used in dependable software systems
C Baumann, B Beckert, H Blasum, T Bormer
Computer Safety, Reliability, and Security (SAFECOMP), 187-200, 2009
502009
Integrating automated and interactive theorem proving
W Ahrendt, B Beckert, R Hähnle, W Menzel, W Reif, G Schellhorn, ...
Automated Deduction - A Basis for Applications 2, 1998
501998
A completion-based method for mixed universal and rigid E-unification
B Beckert
International Conference on Automated Deduction, 678-692, 1994
501994
The system can't perform the operation now. Try again later.
Articles 1–20