Main.License History

Hide minor edits - Show changes to output - Cancel

Changed lines 2-6 from:

XSAP
is Copyright by Fondazione Bruno Kessler 2015.

XSAP is currently available under the following conditions:
to:
xSAP is Copyright by Fondazione Bruno Kessler 2015.

xSAP is currently available under the following conditions:
Changed lines 16-20 from:
XSAP is '''not''' a derivative of %newwin% [[http://nusmv.fbk.eu|NuSMV]].

Differently from NuSMV, XSAP is '''not''' distributed under LGPL.

XSAP 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.
to:
xSAP is '''not''' a derivative of %newwin% [[http://nusmv.fbk.eu|NuSMV]].

Differently from NuSMV, xSAP is '''not''' distributed under LGPL.

xSAP 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 10 from:
See %newwin% [[https://es.fbk.eu/tools/XSAP/downloads/LICENSE.txt|LICENSE.txt]]
to:
See %newwin% [[https://es.fbk.eu/tools/xsap/downloads/LICENSE.txt|LICENSE.txt]]
Changed lines 3-6 from:
FBK holds the IPR of XSAP.
The licensing schema
is currently under definition.

Please direct inquiries to [[mailto:xsap@fbk
.eu|xsap@fbk.eu]]
to:
XSAP is Copyright by Fondazione Bruno Kessler 2015.

XSAP
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 %newwin% [[https://es.fbk.
eu/tools/XSAP/downloads/LICENSE.txt|LICENSE.txt]] 
for complete licensing information.

Please direct inquiries about other usages of XSAP to [[mailto:xsap@fbk.eu|xsap@fbk.eu]].

Changed line 6 from:
Please direct inquiries to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]]
to:
Please direct inquiries to [[mailto:xsap@fbk.eu|xsap@fbk.eu]]
Changed line 6 from:
Please direct inquiries to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]] (email address to be activated - coming soon).
to:
Please direct inquiries to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]]
Changed line 6 from:
Please direct inquiries about other usages of nuXmv to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]] (email address to be activated - coming soon).
to:
Please direct inquiries to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]] (email address to be activated - coming soon).
Changed line 6 from:
Please direct inquiries about other usages of nuXmv to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]].
to:
Please direct inquiries about other usages of nuXmv to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]] (email address to be activated - coming soon).
Changed lines 6-8 from:
If you are interested in using or evaluating XSAP,
please send an email to "
xsap AT list DOT fbk DOT eu".
to:
Please direct inquiries about other usages of nuXmv to [[mailto:xsap@list.fbk.eu|xsap@list.fbk.eu]].

----
XSAP is '''not''' a derivative of %newwin% [[http://nusmv.fbk.eu|NuSMV]].

Differently from NuSMV, XSAP is '''not''' distributed under LGPL.

XSAP 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.
Deleted line 1:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
Changed lines 4-9 from:
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:
FBK holds the IPR of XSAP.
The licensing schema is currently under definition.

If you are interested in using or evaluating XSAP,
please send an email to "xsap
AT list DOT fbk DOT eu".
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
Changed lines 6-8 from:
If you are interested please get in touch.

%lfloat height=175px% {$TopLevelUrl}
/images/uc.gif
to:
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]].
June 12, 2011, at 07:08 PM by cimatti - first shot at licensing
Changed lines 2-6 from:
Page under construction.
to:

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 please get in touch
.
June 12, 2011, at 03:24 PM by 94.39.213.133 -
Added lines 1-4:
(:title License :)
Page under construction.

%lfloat height=175px% {$TopLevelUrl}/images/uc.gif


Page last modified on March 03, 2015, at 09:28 AM