This paper describes the first results of a joint project between CMU and IRST whose goal is to produce a reimplementation of SMV. The idea is that this new model checker, called NUSMV should be usable, customizable and extensible, with as little effort as possible, also by people different from the developers. A further goal is to produce a system which is very robust, and close to the standards required by industry

NuSMV: A Reimplementation of SMV

Cimatti, Alessandro;Giunchiglia, Fausto;Roveri, Marco
1998-01-01

Abstract

This paper describes the first results of a joint project between CMU and IRST whose goal is to produce a reimplementation of SMV. The idea is that this new model checker, called NUSMV should be usable, customizable and extensible, with as little effort as possible, also by people different from the developers. A further goal is to produce a system which is very robust, and close to the standards required by industry
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1497
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact