The OTTER environment for resolution-based proof of hardware correctness
- 31 August 1990
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 30 (1-5) , 421-428
- https://doi.org/10.1016/0165-6074(90)90277-g
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Formal verification of hardware correctness: introduction and survey of current researchComputer, 1988
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984