Verification using uninterpreted functions and finite instantiations
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 218-232
- https://doi.org/10.1007/bfb0031810
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Applying formal verification to a commercial microprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal verification of pipelined and superscalar processorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Techniques for verifying superscalar microprocessorsPublished by Association for Computing Machinery (ACM) ,1996
- Formal verification by symbolic evaluation of partially-ordered trajectoriesFormal Methods in System Design, 1995
- Architecture validation for processorsPublished by Association for Computing Machinery (ACM) ,1995
- Automatic datapath abstraction in hardware systemsLecture Notes in Computer Science, 1995
- Automatic verification of pipelined microprocessorsPublished by Association for Computing Machinery (ACM) ,1994
- HSISPublished by Association for Computing Machinery (ACM) ,1994
- Implementing precise interrupts in pipelined processorsIEEE Transactions on Computers, 1988
- On formalised computer programsJournal of Computer and System Sciences, 1970