nuXmv Download
Remark: nuXmv can be used only for non-commercial or academic purposes. See License for details.
Download of nuXmv
The nuXmv system is currently available in binary format for the mostly used platforms:
Version 2.0.0 (October 14, 2019)
- Linux: 32-bit x86 , 64-bit x86 .
- Mac OS X: 64-bit x86 (linked with Clang's libc++).
- Windows: Windows x86-32 , Windows x86-64
If you want to be notified by new releases, you can subscribe to the nuxmv-users mailing list.
License
See License for further details.
nuXmv HWMCC'13 submission
The bit-level engine of nuXmv, that participated in the Hardware Model Checking Competition 2013 (HWMCC'13), can be downloaded from this link.