NUSMV: a new symbolic model checker (2000)
Cached
Download Links
- [www.aladdin.cs.cmu.edu]
- [sra.itc.it]
- [www.cs.cmu.edu]
- DBLP
Other Repositories/Bibliography
by
A. Cimatti
,
E. Clarke
,
F. Giunchiglia
,
M. Roveri
| Venue: | International Journal on Software Tools for Technology Transfer |
| Citations: | 87 - 15 self |
BibTeX
@ARTICLE{Cimatti00nusmv:a,
author = {A. Cimatti and E. Clarke and F. Giunchiglia and M. Roveri},
title = {NUSMV: a new symbolic model checker},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2000},
volume = {2},
pages = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper describes a new symbolic model checker, called NUSMV, developed as part of a joint project between CMU and IRST. NUSMV is the result of the reengineering, reimplementation, and, to a limited extent, extension of the CMU SMV model checker. The core of this paper consists of a detailed description of the NUSMV functionalities, architecture, and implementation.
