Thank you for your review
0.00 Free
Developer website: 

Top community discussions about NuSMV

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

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

Requirements for NuSMV

OS X 10.6 or later
Similar Software
Suggest other similar software
Create a collection and add  to it.
Like this app? Be the first to add it to a collection! Create a Collection by bringing together complementary apps that have a common theme or purpose, then share it and discover new collections! + Create a Collection

NuSMV User Discussion

2.8 2
Current Version (2.x)
Downloads 1,513
Version Downloads 1,513
License Free
Date 23 Nov 2012
Platform Intel 64 / OS X
Price Free
To leave a comment, you need to be logged in.
Sort by: Time | Smiles
MacUpdate Promo