Implementing a methodology for formally verifying RISC processors in HOL
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Structuring and automating hardware proofs in a higher-order theorem-proving environmentFormal Methods in System Design, 1993
- Verification of a pipelined microprocessor using clioPublished by Springer Nature ,1990
- Abstraction Mechanisms for Hardware VerificationPublished by Springer Nature ,1988
- A Proof of Correctness of the Viper Microprocessor: The First LevelPublished by Springer Nature ,1988