The nuXmv Symbolic Model Checker
Top Cited Papers
- 1 January 2014
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 37 references indexed in Scilit:
- Better generalization in IC3Published by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- SAT-Based Model Checking without UnrollingPublished by Springer Nature ,2011
- Enhanced verification by temporal decompositionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Interpolation-sequence based model checkingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Efficient guided symbolic reachability using reachability expressionsInternational Journal on Software Tools for Technology Transfer, 2008
- An Extensible SAT-solverPublished by Springer Nature ,2004
- Interpolation and SAT-Based Model CheckingPublished by Springer Nature ,2003
- NuSMV 2: An OpenSource Tool for Symbolic Model CheckingPublished by Springer Nature ,2002
- Checking Safety Properties Using Induction and a SAT-SolverPublished by Springer Nature ,2000
- Symbolic Model Checking without BDDsPublished by Springer Nature ,1999