Searching for authors named Bernhard Beckert – sorted by Relevance.
64 documents found, showing 1 through 10.
Next 10 →
-
Adding Equality to Semantic Tableaux
- …Adding Equality to Semantic Tableaux Bernhard Beckert University of Karlsruhe Institute for Logic…
- Cited by 7 (1 self) – Add To MetaCart
-
A Dynamic Logic for Java Card
- …A Dynamic Logic for Java Card Bernhard Beckert University of Karlsruhe Institute for Logic…
- Cited by 9 (4 self) – Add To MetaCart
-
Using E-Unification to Handle Equality in Universal Formula Semantic Tableaux (Extended Abstract)
- … Abstract --- Bernhard Beckert University of Karlsruhe Institute for Logic, Complexity und Deduction…
- Cited by 1 (1 self) – Add To MetaCart
-
Rigid E-unification
- …1.1. Overview of this Chapter BERNHARD BECKERT RIGID E-UNIFICATION 1. INTRODUCTION By replacing…
- Cited by 1 (1 self) – Add To MetaCart
-
A Dynamic Logic for the Formal Verification of Java Card Programs
- …A Dynamic Logic for the Formal Verication of Java Card Programs Bernhard Beckert Universit…
- Cited by 59 (16 self) – Add To MetaCart
-
Depth-first Proof Search without Backtracking for Free-variable Clausal Tableaux (Extended Abstract)
- … Abstract --- Bernhard Beckert University of Karlsruhe, D-76128 Karlsruhe, Germany. Email: beckert…
- Cited by 13 (0 self) – Add To MetaCart
-
The leanTAP-FAQ: Frequently Asked Questions about leanTAP
- …The leanT A P-FAQ: Frequently Asked Questions about leanT A P Bernhard Beckert & Joachim Posegga…
- Add To MetaCart
-
White-box testing by combining deduction-based specification extraction and black-box testing
- … Bernhard Beckert and Christoph Gladisch University of Koblenz-Landau, Dept. of Computer Science beckert…
- Cited by 8 (4 self) – Add To MetaCart
-
Free-variable tableaux for propositional modal logics
- …Free-variable Tableaux for Propositional Modal Logics Bernhard Beckert and Rajeev Goré Abstract…
- Cited by 3 (0 self) – Add To MetaCart
-
A method for formalizing, analyzing, and verifying secure user interfaces
- …A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces ⋆ Bernhard Beckert…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
