NuSMV
License:Freeware
Total downloads:66
Latest version:2.6
Description
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 Browsealoud, RAGE WebDesign or solr, which might be related to NuSMV.
Comments
Subscribe to commentsPlease add a comment explaining the reasoning behind your vote.