Download NuSMV 2.6.0 for Mac from our software library for free. The software lies within Developer Tools, more precisely Webmaster Tools. The current installation package available for download requires 4.6 MB of hard disk space. This Mac download was checked by our built-in antivirus and was rated as clean. This free software for Mac OS X was originally developed by Andrew Heard.
From the developer:
NuSMV is a symbolic model checker for the analysis of synchronous finite-state and infinite-state systems. NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs.
You may want to check out more Mac applications, such as AcidSearch Installer, Browsealoud or RAGE WebDesign, which might be related to NuSMV.