Holger Busch

According to our database, Holger Busch authored at least 8 papers between 1991 and 1996.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1996

Proving Liveness of Fair Transition Systems.

Holger Busch

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

1995

A Practical Method for Reasoning about Distributed Systems in a Theorem Prover.

Holger Busch

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Rule-Based Induction.

Holger Busch

Formal Methods Syst. Des., 1994

First-Order Automation for Higher-Order-Logic Theorem Proving.

Holger Busch

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

A Reduced Instruction Set Proof Environment.

Holger Busch

Proceedings of the Theorem Provers in Circuit Design, 1994

1992

Unification Based Induction.

Holger Busch

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Transformational Design in a Theorem Prover.

Holger Busch

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

Proof-Aided Design of Verified Hardware.

Holger Busch, Gerd Venzl

Proceedings of the 28th Design Automation Conference, 1991