Bernhard Beckert
Bernhard Beckert
Professor of Informatics, Karlsruhe Institute of Technology
Bestätigte E-Mail-Adresse bei kit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verification of object-oriented software: The KeY approach
B Beckert, R Hähnle, PH Schmitt
Springer-Verlag, 2007
735*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
3652003
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
3622005
leanTAP: Lean tableau-based deduction
B Beckert, J Posegga
Journal of Automated Reasoning 15 (3), 339-358, 1995
2411995
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
178*2016
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
1592002
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
941993
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
761997
Free variable tableaux for propositional modal logics
B Beckert, R Goré
Universität Karlsruhe, Fakultät für Informatik, 1996
761996
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
682014
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
An improved method for adding equality to free variable semantic tableaux
B Beckert, R Hähnle
International Conference on Automated Deduction, 507-521, 1992
56*1992
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
55*1996
The SAT problem of signed CNF formulas
B Beckert, R Hähnle, F Manya
Labelled Deduction 17, 59-80, 2000
54*2000
Dynamic Logic with Non-rigid Functions
B Beckert, A Platzer
International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006
532006
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
522009
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
521998
Reasoning and verification: State of the art and current trends
B Beckert, R Hähnle
IEEE Intelligent Systems 29 (1), 20-29, 2014
512014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20