The nuXmv Symbolic Model Checker
Abstract elided by the publisher.
Related papers
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- Implementing a Multi-valued Symbolic Model Checker TACAS 2001
- VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems TACAS 2026
- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution) TACAS 2019
- STMC: Statistical Model Checker with Stratified and Antithetic Sampling CAV 2020
- The TLA+ Model Checker Apalache CAV 2026
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- TLA+ model checking made symbolic OOPSLA 2019