nuXmv is Copyright by Fondazione Bruno Kessler 2014.

nuXmv is currently available under the following conditions:

  • It can be used only for non-commercial or academic purposes.
  • The source code in the distribution can be used only for reading with no right of modification.

See LICENSE.txt for complete licensing information.

Please direct inquiries about other usages of nuXmv to

nuXmv is not a derivative of NuSMV.

Differently from NuSMV, nuXmv is not distributed under LGPL.

nuXmv links NuSMV, CUDD, MiniSAT and MathSAT as external libraries.