Nusmv version 2: an opensource tool for symbolic model checking
By A. Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella. International Conference on Computer Aided Verification, 2002
460 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/dc3468f9373769e6b9711d3156c4648e1aa9f919
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
- Parthasarathy Madhusudan
- Rajeev Alur
- Wonhong Nam
- Pavol Cerný
- Andrzej Wasylkowski
- Wontae Choi
- Gail Weiss
- Edward A. Lee
Citations in the corpus
- Synthesis of interface specifications for Java classes (2005, methodology): “Furthermore, this approach allows us to encode the abstract class A symbolically, and we use an existing BDD-based symbolic model checker NuSMV [10] to answer the queries.”