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. 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.
NuSMV2: an Open Source Tool for Symbolic Model Checking / Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Pistore, Marco; Tacchella, Armando; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto. - ELETTRONICO. - (2002).
NuSMV2: an Open Source Tool for Symbolic Model Checking
Cimatti, Alessandro;Giunchiglia, Fausto;Pistore, Marco;Roveri, Marco;Sebastiani, Roberto
2002-01-01
Abstract
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. 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.| File | Dimensione | Formato | |
|---|---|---|---|
|
16.pdf
accesso aperto
Tipologia:
Versione editoriale (Publisher’s layout)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
120.5 kB
Formato
Adobe PDF
|
120.5 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
