NuSMV: A New Symbolic Model Verifier
- 1 January 1999
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 495-499
- https://doi.org/10.1007/3-540-48683-6_44
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991