Marco Roveri
Author
Alternate names M. Roveri, Marco Roveri
Institution University of Trento
Past institutions University of Trento, Italian Institute of Technology, Ferioli & Gianotti (Italy), Sapienza University of Rome, Fondazione Bruno Kessler +5 more
ORCID: Yes
H-index: 36
I10-index: 87
Works count: 169
Citations count: 7,434
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
2002 · Alessandro Cimatti, Edmund Clarke, et al. · Lecture notes in computer science
NUSMV: a new symbolic model checker
2000 · Alessandro Cimatti, Edmund M. Clarke, et al. · International Journal on Software Tools for Technology Transfer
NuSMV: A New Symbolic Model Verifier
1999 · Alessandro Cimatti, Emma L. Clarke, et al. · Lecture notes in computer science