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.2.0 (June 4, 2026)
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.