NuSMV

2.5.4 23 Nov 2012

NuSMV is a symbolic model checker.

2

Developer website: Andrew Heard

NuSMV 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.

What's New

Version 2.5.4: Release notes were unavailable when this listing was updated.

Requirements

OS X 10.6 or later

Ratings

Overall
(2)
Current Version (2.x)
(2)

Details

Downloads
1,485
Version Downloads
1,485
Type
Development / Compilers
License
Free
Date
23 Nov 2012
Platform
Intel 64 / OS X
Price
Free