The nuXmv Symbolic Model Checker
By Roberto Cavada, A. Cimatti, Michele Dorigatti, Alberto Griggio, Alessandro Mariotti, Andrea Micheli, Sergio Mover, Marco Roveri, Stefano Tonetta. International Conference on Computer Aided Verification, 2014
552 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/fa35adf9abd8a1c6b7e2316045e8904105eb69ec
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Haniel Barbosa
- Clark W. Barrett
- Cesare Tinelli
- Martin Brain
- Gereon Kremer
- Hanna Lachnitt
- Andrew Reynolds
- Makai Mann
Citations in the corpus
- cvc5: A Versatile and Industrial-Strength SMT Solver (2022, background): “…back-end reasoning engines for a variety of applications, including software and hardware verification [19, 52, 60, 68, 82, 86], model checking [41, 42, 98], type checking, static analysis, security [10,62], automated test-case generation [40,135], synthesis [2,65], planning, scheduling, and…”
- Computer Aided Verification (2017, methodology): “The modelchecking problems are produced in the NuSMV format, then fed to nuXmv [3].”