Thank you for your review
Email me when discounted: 
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.


OS X 10.6 or later

Similar Software

Open Comparison
Suggest Other Similar Software
Get these apps for
Leave a Review

NuSMV User Discussion

To leave a comment, you need to be logged in.
Sort by: Time | Smiles
NuSMV needs a rating. Be the first to rate this app and get the discussion started!
1 1


Current Version (2.x)


Downloads 982
Version Downloads 982
License Free
Date 23 Nov 2012
Platform Intel 64 / OS X
Price Free
download install download install purchase purchase