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 industryFile 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.
