×

zbMATH — the first resource for mathematics

NuSMV 2: An OpenSource tool for symbolic model checking. (English) Zbl 1010.68766
Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 359-364 (2002).
Summary: 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.
For the entire collection see [Zbl 0993.00049].

MSC:
68U99 Computing methodologies and applications
68Q60 Specification and verification (program logics, model checking, etc.)
Software:
Chaff; NuSMV
PDF BibTeX XML Cite
Full Text: Link