First Steps Towards Automating Hardware Proofs in HOL

Ramayya Kumar, Thomas Kropf, Klaus Schneider. First Steps Towards Automating Hardware Proofs in HOL. In Myla Archer, Jeffrey J. Joyce, Karl N. Levitt, Phillip J. Windley, editors, Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA. pages 190-193, IEEE Computer Society, 1991.

Abstract

Abstract is missing.