Transforming the theorem prover into a digital design tool: From concept car to off-road vehicle
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ ProcessorLMS Journal of Computation and Mathematics, 1998
- An industrial strength theorem prover for a logic based on Common LispIEEE Transactions on Software Engineering, 1997
- The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 MicroprocessorFormal Methods in System Design, 1997
- Automated proofs of object code for a widely used microprocessorJournal of the ACM, 1996
- Formal specification and verification of VHDLPublished by Springer Nature ,1996
- ACL2 theorems about commercial microprocessorsPublished by Springer Nature ,1996
- A mechanically verified application for a mechanically verified environmentPublished by Springer Nature ,1993
- An approach to systems verificationJournal of Automated Reasoning, 1989