Bernhard Beckert
Bernhard Beckert
Professor of Informatics, Karlsruhe Institute of Technology
Dirección de correo verificada de kit.edu - Página principal
Título
Citado por
Citado por
Año
Verification of object-oriented software: The KeY approach
B Beckert, R Hähnle, PH Schmitt
Springer-Verlag, 2007
728*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
3622003
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
3592005
leanTAP: Lean tableau-based deduction
B Beckert, J Posegga
Journal of Automated Reasoning 15 (3), 339-358, 1995
2321995
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
168*2016
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
1572002
A Dynamic Logic for the Formal Verification of Java Card Programs
B Beckert
Java on Smart Cards: Programming and Security, 6-24, 2001
1172001
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
91*1993
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
83*2000
Free variable tableaux for propositional modal logics
B Beckert, R Goré
International Conference on Automated Reasoning with Analytic Tableaux and …, 1997
781997
Free variable tableaux for propositional modal logics
B Beckert, R Goré
Universität Karlsruhe, Fakultät für Informatik, 1996
781996
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
672014
Transformations between signed and classical clause logic
B Beckert, R Hahnle, F Manya
Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic …, 1999
621999
The SAT problem of signed CNF formulas
B Beckert, R Hähnle, F Manya
Labelled Deduction 17, 59-80, 2000
55*2000
An improved method for adding equality to free variable semantic tableaux
B Beckert, R Hähnle
International Conference on Automated Deduction, 507-521, 1992
55*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
54*1996
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
512009
Dynamic Logic with Non-rigid Functions
B Beckert, A Platzer
International Joint Conference on Automated Reasoning (IJCAR), 266-280, 2006
512006
A completion-based method for mixed universal and rigid E-unification
B Beckert
International Conference on Automated Deduction, 678-692, 1994
511994
Reasoning and verification: State of the art and current trends
B Beckert, R Hähnle
IEEE Intelligent Systems 29 (1), 20-29, 2014
502014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20