M
Marco Roveri
Researcher at University of Parma
Publications - 265
Citations - 14481
Marco Roveri is an academic researcher from University of Parma. The author has contributed to research in topics: Model checking & Formal verification. The author has an hindex of 51, co-authored 213 publications receiving 13029 citations. Previous affiliations of Marco Roveri include University of Trento & University of Bologna.
Papers
More filters
Book ChapterDOI
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
TL;DR: This paper describes version 2 of the NuSMV tool, a state-of-the-art symbolic model checker designed to be applicable in technology transfer projects and is robust and close to industrial systems standards.
Journal Article
NuSMV 2: An opensource tool for symbolic model checking
Alessandro Cimatti,Edmund M. Clarke,Enrico Giunchiglia,Fausto Giunchiglia,Marco Pistore,Marco Roveri,Roberto Sebastiani,Armando Tacchella +7 more
TL;DR: The NuSMV tool as mentioned in this paper is a symbolic model checker developed at CMU and designed to be applicable in technology transfer projects, it is a well structured, open, flexible and documented platform for model checking, and is robust and close to industrial systems standards.
Journal ArticleDOI
NUSMV: a new symbolic model checker
TL;DR: A new symbolic model checker, called NuSMV, developed as part of a joint project between CMU and IRST, and a detailed description of its functionalities, architecture, and implementation is described.
Book ChapterDOI
NUSMV: A New Symbolic Model Verifier
TL;DR: NUSMV, a new symbolic model checker developed as a joint project between Carnegie Mellon University and Istituto per la Ricerca Scientifica e Tecnolgica (IRST), is described, a well structured, open, flexible and documented platform for model checking.