Remark: nuXmv can be used only for non-commercial or academic purposes.
See License for details.