is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas.
This release was packaged using MacPorts and contains an easy to use installer.
Version 2.5.4: Release notes were unavailable when this listing was updated.
OS X 10.6 or later