NUSMV: A New Symbolic Model Verifier
No abstract available.
Related papers
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking CAV 2002
- A NuSMV Extension for Graded-CTL Model Checking CAV 2010
- Cheap CTL Compassion in NuSMV VMCAI 2020
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- HyperQB 2.0: A Bounded Model Checker for Hyperproperties CAV 2026
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models OOPSLA 2026