First Steps Towards Automating Hardware Proofs In HOL
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 190-193
- https://doi.org/10.1109/hol.1991.596286
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Integrating A First-order Automatic prover In The HOL EnvironmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Automating most parts of hardware proofs in HOLPublished by Springer Nature ,1992