Bernhard Beckert

Bernhard Beckert

Karlsruhe Institute of Technology - Karlsruhe / Germany
Others
AD Scientific Index ID: 1761015
Karlsruhe Institute of Technology
person_outline Bernhard Beckert's MOST POPULAR ARTICLES
1-) Verification of object-oriented software: The KeY approachB Beckert, R Hähnle, PH SchmittSpringer-Verlag, 2007801*2007
2-) Deductive Software Verification–The KeY Book: From Theory to PracticeW Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M UlbrichSpringer, 2016417*2016
3-) The KeY toolW Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...Software & Systems Modeling 4 (1), 32-54, 20054122005
4-) leanTAP: Lean tableau-based deductionB Beckert, J PoseggaJournal of Automated Reasoning 15 (3), 339-358, 19952711995
5-) Translating the Object Constraint Language into first-order predicate logicB Beckert, U Keller, PH SchmittProceedings of the Second Verification Workshop: VERIFY 2, 02-07, 20021862002