NuSMV 2: An OpenSource Tool for Symbolic Model Checking
No abstract available.
Related papers
- NUSMV: A New Symbolic Model Verifier CAV 1999
- A NuSMV Extension for Graded-CTL Model Checking CAV 2010
- HyperQB 2.0: A Bounded Model Checker for Hyperproperties CAV 2026
- Symbolic Model-Checking Using ITS-Tools TACAS 2015
- Cheap CTL Compassion in NuSMV VMCAI 2020
- Symbolic Model Checking for TLA+ Made Faster TACAS 2023
- The MoXI Model Exchange Tool Suite CAV 2024
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002