Links.Home History

Hide minor edits - Show changes to output - Cancel

Changed lines 4-8 from:
* The [[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* The [[http://mathsat.fbk.eu|MathSAT]] SMT solver
* The CuDD package
* The MiniSAT
solver
to:
* The %newwin% [[http://nusmv.fbk.eu|NuSMV]] Symbolic Model Checker
* 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 10-12 from:
* [[http://www.fbk.eu|Fondazione Bruno Kessler]]
* [[http://cit.fbk.eu|Center for Information Technology]]
* [[https://es.fbk.eu|Embedded Systems Unit]]
to:
* %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 lines 10-12 from:
* The [[https://es.fbk.eu|Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]
to:
* [[http://www.fbk.eu|Fondazione Bruno Kessler]]
* [[http://cit.fbk.eu|Center for Information Technology]]
* [[https://es.fbk.eu|Embedded Systems Unit]]
Changed lines 1-2 from:
(:title Links :)
to:
(:title Useful Links :)

!!! Tools Used by nuXmv
Deleted line 5:
* The [[https://es.fbk.eu|Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]
Changed lines 8-12 from:
>><<
to:

!!! Other Links
* The [[https://es.fbk.eu|Embedded Systems Unit]] of the [[http://www.fbk.eu|Fondazione Bruno Kessler]]

>><<
Deleted line 2:
%rfloat height=100px% {$TopLevelUrl}/images/uc.gif
Deleted line 4:
* The [[https://es.fbk.eu/tools/kratos|Kratos]] Software Symbolic Model Checker
Changed lines 6-7 from:
to:
* The CuDD package
* The MiniSAT solver
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.