Holger Busch

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

Holger Busch
Proving Liveness of Fair Transition Systems. TPHOLs (1996)
Holger Busch
A Practical Method for Reasoning about Distributed Systems in a Theorem Prover. TPHOLs (1995)
Holger Busch
First-Order Automation for Higher-Order-Logic Theorem Proving. TPHOLs (1994)
Holger Busch
A Reduced Instruction Set Proof Environment. TPCD (1994)
Holger Busch
Rule-Based Induction. Formal Methods Syst. Des. 5 (1/2) (1994)
Holger Busch
Unification Based Induction. TPHOLs (1992)
Holger Busch
Transformational Design in a Theorem Prover. TPCD (1992)
Holger Busch, Gerd Venzl
Proof-Aided Design of Verified Hardware. DAC (1991)