Using formal verification/analysis methods on the critical path in system design: A case study
Authors:
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 367-380
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Computer-Aided Verification of Coordinating Processes1995
- Performance optimizations, implementation, and verification of the SGI Challenge multiprocessor1994
- Symbolic Model Checking1993
- The Stanford Dash multiprocessorComputer, 1992
- Formal hardware verification by symbolic ternary trajectory evaluation1991
- Memory consistency and event ordering in scalable shared-memory multiprocessorsACM SIGARCH Computer Architecture News, 1990
- HOL: A Proof Generating System for Higher-Order Logic1988
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986