Please fill the registration form before downloading nuXmv.

Remark: nuXmv can be used only for non-commercial or academic purposes.
See License for details.
Purpose of usage: Study
Academic Research


Personal info: First name:
Last name:

Email address*:
Subscribe to the nuXmv users mailing list

Fields marked with * are mandatory.