Affordable Access

NuSMV2: an Open Source Tool for Symbolic Model Checking

Authors
Publication Date
Keywords
  • Qa075 Electronic Computers. Computer Science
Disciplines
  • Design
  • Engineering

Abstract

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.