NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Top Cited Papers
- 20 September 2002
- book chapter
- Published by Springer Nature
- p. 359-364
- https://doi.org/10.1007/3-540-45657-0_29
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical PropositionsPublished by Springer Nature ,2002
- Object Modeling with the OCLPublished by Springer Nature ,2002
- Verification support for workflow design with UML activity graphsPublished by Association for Computing Machinery (ACM) ,2002
- Benefits of Bounded Model Checking at an Industrial SettingPublished by Springer Nature ,2001
- Evaluating Search Heuristics and Optimization Techniques in Propositional SatisfiabilityPublished by Springer Nature ,2001
- ChaffPublished by Association for Computing Machinery (ACM) ,2001
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Tuning SAT Checkers for Bounded Model CheckingPublished by Springer Nature ,2000
- Symbolic Model Checking without BDDsPublished by Defense Technical Information Center (DTIC) ,1999
- Symbolic Model CheckingPublished by Springer Nature ,1993