Getting NuSMV


NuSMV can be used, free of charge, only by academic institutions and only for their internal research and educational purposes.
NuSMV cannot be used for commercial use, unless a different agreement is reached with the NuSMV distributors.
Companies are free to use NuSMV for evaluation purposes for a period of up to 3 months starting from the date of the download. After the evaluation period they must delete the code and cease using NuSMV, unless a different agreement is reached with the NuSMV distributors.
For more information about the availability and the use of NuSMV please send an e-mail to .
Before downloading NuSMV please carefully read the Copyright.

NuSMV source code Here you will be asked to fill in a form, then you will be prompted with the name where to save your copy of the NuSMV source code.
Before downloading NuSMV carefully read the Copyright.
NuSMV binary code Here you will be asked to fill in a form, then you will be able to choose your preferred pre-compiled versions of NuSMV.
Before downloading NuSMV carefully read the Copyright.


NuSMV Home page

NuSMV <>