NuSMV 2: An OpenSource Tool for Symbolic Model Checking
Alessandro Cimatti, Clarke, Edmund M, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Rovere, Marco, Roberto Sebastiani, Armando Tacchella · Unitn Eprints Research (Università Degli Studi di Trento) · 2018
This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker originated from the reengineering, reimplementation and extension of SMV, the original BDD-based model checker developed at CMU [15]. The NuSMV project aims at the development of a state-of-the-art symbolic model checker, 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 [6].