Links.Home History

Hide minor edits - Show changes to output - Cancel

Changed line 4 from:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
to:
(:comment %rfloat height=100px% {$TopLevelUrl}/images/uc.gif :)
Changed line 1 from:
(:title Useful Links :)
to:
(:title Links :)
Changed lines 5-6 from:
* The %newwin% [[[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The %newwin% [[[http://nuxmv.fbk.eu|nuXmv]] Model Checker
to:
* The %newwin% [[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The %newwin% [[http://nuxmv.fbk.eu|nuXmv]] Model Checker
Changed lines 10-11 from:
* The %newwin% [[[http://fsap.fbk.eu|FSAP]] Formal Safety Analysis Platform
* The %newwin% [[[https://es-static.fbk.eu/tools/FSAP|FSAP development pages]]
to:
* The %newwin% [[http://fsap.fbk.eu|FSAP]] Formal Safety Analysis Platform
* The %newwin% [[https://es-static.fbk.eu/tools/FSAP|FSAP development pages]]
Changed lines 5-6 from:
* The [[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The [[http://nuxmv.fbk.eu|nuXmv]] Model Checker
to:
* The %newwin% [[[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The %newwin% [[[http://nuxmv.fbk.eu|nuXmv]] Model Checker
Changed lines 10-11 from:
* The [[http://fsap.fbk.eu|FSAP]] Formal Safety Analysis Platform
* The [[https://es-static.fbk.eu/tools/FSAP|FSAP development pages]]
to:
* The %newwin% [[[http://fsap.fbk.eu|FSAP]] Formal Safety Analysis Platform
* The %newwin% [[[https://es-static.fbk.eu/tools/FSAP|FSAP development pages]]
Added lines 7-9:
* The %newwin% [[http://mathsat.fbk.eu|MathSAT]] SMT solver
* The %newwin% [[http://vlsi.colorado.edu/~fabio/CUDD|CuDD]] Binary Decision Diagram package
* The %newwin% [[http://minisat.se/MiniSat.html|MiniSAT]] SAT solver
Changed lines 1-2 from:
(:title Links :)
to:
(:title Useful Links :)

!!! Tools
Changed lines 9-10 from:
* The [[https://es.fbk.eu/tools/kratos|Kratos]] Software Symbolic Model Checker
* The
[[https://es.fbk.eu|Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]
to:

!!! Other Links
* %newwin%
[[http://www.fbk.eu|Fondazione Bruno Kessler]]
* %newwin%
[[http://cit.fbk.eu|Center for Information Technology]]
* %newwin% [[https://es.fbk.eu|Embedded Systems Unit]] 
Changed line 5 from:
* The [[http://nuxmv.fbk.eu|nuXmv]] Symbolic Model Checker
to:
* The [[http://nuxmv.fbk.eu|nuXmv]] Model Checker
Added line 5:
* The [[http://nuxmv.fbk.eu|nuXmv]] Symbolic Model Checker
Changed line 6 from:
* The [[https://es-static.fbk.eu/tools/|FSAP development pages]]
to:
* The [[https://es-static.fbk.eu/tools/FSAP|FSAP development pages]]
Changed line 6 from:
* The [[https://es-static.fbk.eu/tools/|FSAP]] development pages
to:
* The [[https://es-static.fbk.eu/tools/|FSAP development pages]]
Changed line 6 from:
* The [https://es-static.fbk.eu/tools/FSAP|FSAP]] development pages
to:
* The [[https://es-static.fbk.eu/tools/|FSAP]] development pages
Changed line 6 from:
* The [https://es-static.fbk.eu/tools/FSAP[|FSAP]] development pages
to:
* The [https://es-static.fbk.eu/tools/FSAP|FSAP]] development pages
Added line 6:
* The [https://es-static.fbk.eu/tools/FSAP[|FSAP]] development pages
Changed line 5 from:
* The [[http://mathsat.fbk.eu|MathSAT]] SMT solver
to:
* The [[http://fsap.fbk.eu|FSAP]] Formal Safety Analysis Platform
June 12, 2011, at 08:05 PM by 94.39.213.133 -
Added line 3:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
Deleted line 9:
%rfloat height=175px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 06:57 PM by 24.218.25.27 - added mathsat
Added line 4:
* The [[http://mathsat.fbk.eu|MathSAT]] SMT solver
Deleted lines 6-7:

Page under construction.
June 12, 2011, at 04:29 PM by 94.39.213.133 -
Changed line 5 from:
* The [[https://es.fbk.eu|| Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]
to:
* The [[https://es.fbk.eu|Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]
June 12, 2011, at 03:28 PM by 94.39.213.133 -
Changed line 10 from:
%right %lfloat height=175px% {$TopLevelUrl}/images/uc.gif
to:
%rfloat height=175px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 03:28 PM by 94.39.213.133 -
Changed line 10 from:
%lfloat height=175px% {$TopLevelUrl}/images/uc.gif
to:
%right %lfloat height=175px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 03:27 PM by 94.39.213.133 -
Changed lines 9-10 from:
to:
>><<
%lfloat height=175px% {$TopLevelUrl}/images/uc.gif
June 12, 2011, at 03:27 PM by 94.39.213.133 -
Added lines 1-9:
(:title Links :)

* The [[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The [[https://es.fbk.eu/tools/kratos|Kratos]] Software Symbolic Model Checker
* The [[https://es.fbk.eu|| Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]

Page under construction.


Page last modified on March 24, 2016, at 04:15 PM