Reiner Hähnle

21 publications

4 venues

H Index 12

Affiliation

Technical University of Darmstadt, Germany

Links

Name Venue Year citations
Trace-based Deductive Verification. LPAR 2023 0
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017 17
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE 2015 55
A Dynamic Logic with Traces and Coinduction. TABLEAUX 2015 9
Reuse in Software Verification by Abstract Method Calls. CADE 2013 33
The KeY system 1.0 (Deduction Component). CADE 2007 16
KeY-C: A Tool for Verification of C Programs. CADE 2007 21
Automating Verification of Loops by Parallelization. LPAR 2006 15
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003 3
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000 78
Proof Confluent Tableau Calculi. TABLEAUX 1999 3
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX 1998 1
Ordered Tableaux: Extensions and Applications. TABLEAUX 1997 15
The Tableau-based Theorem Prover CADE 1996 0
Semantic Tableaux with Ordering Restrictions. CADE 1994 17
On Anti-Links. LPAR 1994 7
Verification of Switch-Level Designs with Many-Valued Logic. LPAR 1993 28
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992 48
Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992 0
The Tableau-Based Theorem Prover CADE 1992 0
An Interactive Verification System Based on Dynamic Logic. CADE 1986 24
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ