Main.License History

Hide minor edits - Show changes to output - Cancel

Changed line 3 from:
nuXmv is Copyright by Fondazione Bruno Kessler 2104.
to:
nuXmv is Copyright by Fondazione Bruno Kessler 2014.
Changed lines 3-4 from:
nuXmv is copyright by Fondazione Bruno Kessler 2104.
to:
nuXmv is Copyright by Fondazione Bruno Kessler 2104.
Changed lines 16-17 from:
nuXmv is '''not''' a derivative of NuSMV.
to:
nuXmv is '''not''' a derivative of %newwin% [[http://nusmv.fbk.eu|NuSMV]].
Changed line 20 from:
nuXmv links NuSMV, CUDD, MiniSAT and MathSAT as external libraries.
to:
nuXmv links %newwin% [[http://nusmv.fbk.eu|NuSMV]], %newwin% [[http://vlsi.colorado.edu/~fabio/CUDD|CUDD]], %newwin% [[http://minisat.se/MiniSat.html|MiniSAT]] and %newwin% [[http://mathsat.fbk.eu|MathSAT]] as external libraries.
Changed line 3 from:
nuXmv is copyright of Fondazione Bruno Kessler 2104.
to:
nuXmv is copyright by Fondazione Bruno Kessler 2104.
Changed line 8 from:
* The available source code can be used ''only for reading'' with no right of modification.
to:
* The source code in the distribution can be used ''only for reading'' with no right of modification.
Changed line 18 from:
Differently from NuSMV, nuXmv is '''not''' distributed under LGLP.
to:
Differently from NuSMV, nuXmv is '''not''' distributed under LGPL.
Changed line 7 from:
* It can be used and modified only for ''non-commercial'' or ''academic'' purposes.
to:
* It can be used only for ''non-commercial'' or ''academic'' purposes.
Changed line 13 from:
Please direct inquiries about other usage of nuXmv to [[mailto:nuxmv@list.fbk.eu|nuxmv@list.fbk.eu]].
to:
Please direct inquiries about other usages of nuXmv to [[mailto:nuxmv@list.fbk.eu|nuxmv@list.fbk.eu]].
Changed line 16 from:
nuXmv is not a derivative of NuSMV.
to:
nuXmv is '''not''' a derivative of NuSMV.
Changed line 20 from:
nuXmv links NuSMV, CUDD, MiniSAT and MathSAT as an external libraries.
to:
nuXmv links NuSMV, CUDD, MiniSAT and MathSAT as external libraries.
Changed lines 16-19 from:
nuXmv is not a derivative of NuSMV.\\
nuXmv links
NuSMV as an external library.

Differently from
NuSMV, nuXmv is '''not''' distributed under LGLP.
to:
nuXmv is not a derivative of NuSMV.

Differently from
NuSMV, nuXmv is '''not''' distributed under LGLP.

nuXmv links
NuSMV, CUDD, MiniSAT and MathSAT as an external libraries.
Changed lines 16-17 from:
nuXmv links NuSMV as an external library, thus it is a separate system.
to:
nuXmv is not a derivative of NuSMV.\\
nuXmv links NuSMV as an external library
.
Changed lines 14-15 from:
\\ \\
to:

----
Changed line 14 from:
to:
\\ \\
Added line 16:
Changed lines 10-11 from:
See the %newwin% [[https://es.fbk.eu/tools/nuxmv/downloads/LICENSE.txt|LICENSE.txt]]
file inside the tarball for complete licensing information.
to:
See %newwin% [[https://es.fbk.eu/tools/nuxmv/downloads/LICENSE.txt|LICENSE.txt]]
for complete licensing information.
Changed line 13 from:
Please direct inquiries about other usage of nuXmv to [[mailto:nuxmv@list.fbk.eu]].
to:
Please direct inquiries about other usage of nuXmv to [[mailto:nuxmv@list.fbk.eu|nuxmv@list.fbk.eu]].
Changed lines 3-5 from:
nuXmv is '''not''' distributed under LGLP, but it is available under
the following conditions:
to:
nuXmv is copyright of Fondazione Bruno Kessler 2104.

nuXmv
is currently available under the following conditions:
Changed lines 8-9 from:
* Source code is available, ''only for reading'' with no right of modification.
to:
* The available source code can be used ''only for reading'' with no right of modification.
Added lines 13-16:
Please direct inquiries about other usage of nuXmv to [[mailto:nuxmv@list.fbk.eu]].

nuXmv links NuSMV as an external library, thus it is a separate system.
Differently from NuSMV, nuXmv is '''not''' distributed under LGLP.
Changed line 9 from:
See the [[https://es.fbk.eu/tools/nuxmv/downloads/LICENSE.txt|LICENSE.txt]]
to:
See the %newwin% [[https://es.fbk.eu/tools/nuxmv/downloads/LICENSE.txt|LICENSE.txt]]
Changed lines 2-9 from:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif

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 evaluating nuXmv,
please send an email to "nuxmv AT list DOT
fbk DOT eu".
to:

nuXmv is '''not''' distributed under LGLP, but it is available under
the following conditions:

* It can be used and modified only for ''non-commercial'' or ''academic'' purposes.
* Source code is available, ''only for reading'' with no right of modification.

See the [[https://es.
fbk.eu/tools/nuxmv/downloads/LICENSE.txt|LICENSE.txt]]
file inside the tarball for complete licensing information
.
November 09, 2013, at 07:01 AM by 188.153.83.30 -
Changed lines 7-8 from:
If you are interested in using or in evaluating the tool,
please send an email to both [[https://es.fbk.eu/people/cimatti|Alessandro Cimatti]] and [[https://es.fbk.eu/people/roveri|Marco Roveri]].
to:

If you are interested in using or evaluating nuXmv,
please send an email to "nuxmv AT list DOT fbk DOT eu".
June 12, 2011, at 08:06 PM by 94.39.213.133 -
Added line 2:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif