Reiner Hähnle

22 publications

4 venues

H Index 13

Affiliation

Technical University of Darmstadt, Germany

Links

Name Venue Year citations
A Sequent Calculus For Trace Formula Implication. TABLEAUX 2025 1
Trace-based Deductive Verification. LPAR 2023 8
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017 33
A Dynamic Logic with Traces and Coinduction. TABLEAUX 2015 17
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS. CADE 2015 67
Reuse in Software Verification by Abstract Method Calls. CADE 2013 33
The KeY system 1.0 (Deduction Component). CADE 2007 15
KeY-C: A Tool for Verification of C Programs. CADE 2007 21
Automating Verification of Loops by Parallelization. LPAR 2006 14
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003 4
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000 29
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 13
The Tableau-based Theorem Prover CADE 1996 0
Semantic Tableaux with Ordering Restrictions. CADE 1994 17
On Anti-Links. LPAR 1994 0
Verification of Switch-Level Designs with Many-Valued Logic. LPAR 1993 25
Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992 0
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992 48
The Tableau-Based Theorem Prover CADE 1992 0
An Interactive Verification System Based on Dynamic Logic. CADE 1986 27
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ