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
801*2007
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
430*2016
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
4162005
leanTAP: Lean tableau-based deduction
B Beckert, J Posegga
Journal of Automated Reasoning 15 (3), 339-358, 1995
2711995
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
1822002
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
Kurt Gödel Colloquium on Computational Logic and Proof Theory, 108-119, 1993
1031993
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
902014
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
89*2000
Transformations between signed and classical clause logic
B Beckert, R Hahnle, F Manya
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999
771999
Reasoning and verification: State of the art and current trends
B Beckert, R Hähnle
IEEE Intelligent Systems 29 (1), 20-29, 2014
742014
The SAT problem of signed CNF formulas
B Beckert, R Hähnle, F Manya
Labelled Deduction 17, 59-80, 2000
742000
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
741997
Free variable tableaux for propositional modal logics
B Beckert, R Goré
Universität Karlsruhe, Fakultät für Informatik, 1996
741996
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
642009
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
621996
Lessons Learned From Microkernel Verification: Specification is the New Bottleneck
C Baumann, B Beckert, H Blasum, T Bormer
Seventh Conference on Systems Software Verification. SSV 2012, Sydney, Australia, 2012
582012
An improved method for adding equality to free variable semantic tableaux
B Beckert, R Hähnle
International Conference on Automated Deduction, 507-521, 1992
58*1992
Dynamic Logic with Non-rigid Functions
B Beckert, A Platzer
International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006
54*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
The system can't perform the operation now. Try again later.
Articles 1–20