.
| 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 >