Follow
Bernhard Beckert
Title
Cited by
Cited by
Year
Verification of object-oriented software: The KeY approach
B Beckert, R Hähnle, PH Schmitt
Springer-Verlag, 2007
794*2007
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
3982005
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
333*2016
leanTAP: Lean tableau-based deduction
B Beckert, J Posegga
Journal of Automated Reasoning 15 (3), 339-358, 1995
2551995
Translating the Object Constraint Language into first-order predicate logic
B Beckert, U Keller, PH Schmitt
Proceedings of the Second Verification Workshop: VERIFY 2, 02-07, 2002
1792002
A Dynamic Logic for the Formal Verification of Java Card Programs
B Beckert
Java on Smart Cards: Programming and Security, 6-24, 2001
1282001
The even more liberalized δ-rule in free variable semantic tableaux
B Beckert, R Hähnle, PH Schmitt
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 …, 2005
1002005
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
88*2000
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, ...
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
832014
Transformations between signed and classical clause logic
B Beckert, R Hahnle, F Manya
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999
731999
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
731997
Free variable tableaux for propositional modal logics
B Beckert, R Goré
Universität Karlsruhe, Fakultät für Informatik, 1996
731996
The SAT problem of signed CNF formulas
B Beckert, R Hähnle, F Manya
Labelled Deduction 17, 59-80, 2000
702000
Reasoning and verification: State of the art and current trends
B Beckert, R Hähnle
IEEE Intelligent Systems 29 (1), 20-29, 2014
672014
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
662009
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
611996
An Improved Method for Adding Equality to Free Variable Semantic Tableaux.
B Beckert, R Hähnle
CADE, 507-521, 1992
56*1992
Dynamic Logic with Non-rigid Functions
B Beckert, A Platzer
International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006
53*2006
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
531998
A completion-based method for mixed universal and rigid E-unification
B Beckert
CADE, 678-692, 1994
501994
The system can't perform the operation now. Try again later.
Articles 1–20