Extenstions.Home History

Hide minor edits - Show changes to output - Cancel

Deleted lines 1-2:

!!!Tools using nuXmv
Changed line 28 from:
%rfloat height=40px% {$TopLevelUrl}/images/uc.gif
to:
(:comment %rfloat height=40px% {$TopLevelUrl}/images/uc.gif :)
Changed line 28 from:
%rfloat height=50px% {$TopLevelUrl}/images/uc.gif
to:
%rfloat height=40px% {$TopLevelUrl}/images/uc.gif
Changed lines 6-7 from:
new tools. Below we provide a list of known tools that
builds on (directly or indirectly through other tools) nuXmv.
to:
new tools. \\
Below we provide a list of known tools that builds on (directly
or indirectly through other tools) nuXmv.
Added lines 2-3:

!!!Tools using nuXmv
Changed line 1 from:
(:title Extensions :)
to:
(:title Tools using nuXmv :)
Added lines 24-25:

%rfloat height=50px% {$TopLevelUrl}/images/uc.gif
Changed line 7 from:
* The [[https://es.fbk.eu/tools/kratos|Kratos] Software Model Checker
to:
* The [[https://es.fbk.eu/tools/kratos|Kratos]] Software Model Checker
Changed line 9 from:
* The [[https://es.fbk.eu/tools/ocra|OCRA] tool for the verification of
to:
* The [[https://es.fbk.eu/tools/ocra|OCRA]] tool for the verification of
Changed line 11 from:
* The [[https://es.fbk.eu/tools/xsap|XSAP], the eXtended version of
to:
* The [[https://es.fbk.eu/tools/xsap|XSAP]], the eXtended version of
Changed line 13 from:
* The [[https://es.fbk.eu/tools/hycomp|HyCOMP] tool for the verification of
to:
* The [[https://es.fbk.eu/tools/hycomp|HyCOMP]] tool for the verification of
Changed lines 1-23 from:
! nuXmv Extensions
to:
(:title Extensions :)

The nuXmv symbolic model checker, has been used in several
new tools. Below we provide a list of known tools that
builds on (directly or indirectly through other tools) nuXmv.

* The [[https://es.fbk.eu/tools/kratos|Kratos] Software Model Checker
  for sequential and (cooperative) threaded C programs.
* The [[https://es.fbk.eu/tools/ocra|OCRA] tool for the verification of
  logic-based contract refinement for embedded systems.
* The [[https://es.fbk.eu/tools/xsap|XSAP], the eXtended version of
  [[http://fsap.fbk.eu/|FSAP]].
* The [[https://es.fbk.eu/tools/hycomp|HyCOMP] tool for the verification of
  hybrid systems.
* The [[http://compass.informatik.rwth-aachen.de|COMPASS]] tool for
  system-software co-engineering.
* The [[https://es.fbk.eu/tools/autofocra|AF3-OCRA]] plugin for the
  [[http://af3.fortiss.org|Autofocus]] platform by [[http://www.firtiss.org|fortiss]].
* The [[https://rat.fbk.eu|RAT]] tool for requirements analysis.
* The [[https://es.fbk.eu/tools/autofocra|othelloplay]] tool for requirements
  analysis.
* The [[https://es.fbk.eu/tools/nugat|NuGAT]] tool for temporal logic synthesis.
* ...
Added line 1:
! nuXmv Extensions