Affordable Access

NuSMV2: an Open Source Tool for Symbolic Model Checking

Publication Date
  • Qa075 Electronic Computers. Computer Science
  • Design
  • Engineering


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.

There are no comments yet on this publication. Be the first to share your thoughts.