FBK holds the IPR of NuXMV. The licensing schema is currently under definition, but it is likely to be less open than NuSMV. If you are interested in using or in evaluating the tool, please send an email to both Alessandro Cimatti and Marco Roveri.
FBK holds the IPR of NuXMV. The licensing schema is currently under definition, but it is likely to be less open than NuSMV. If you are interested in using or in evaluating the tool, please send an email to both Alessandro Cimatti and Marco Roveri.