Formal Verification In A Commercial Setting
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 258-262
- https://doi.org/10.1109/dac.1997.597154
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Computer-aided verificationIEEE Spectrum, 1996
- ACL2 theorems about commercial microprocessorsPublished by Springer Nature ,1996
- Symbolic model checking for sequential circuit verificationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986