Module: ppl/w3ppl Branch: master Commit: 2a7eb04eb7158c9a06469fde3dda1f8829717670 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2a7eb04eb71... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Dec 2 18:55:37 2009 +0100 Added a link to Fortuna, a model checker for priced probabilistic timed automata. --- htdocs/Applications/Applications.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/htdocs/Applications/Applications.raw b/htdocs/Applications/Applications.raw index db120d1..93eda5a 100644 --- a/htdocs/Applications/Applications.raw +++ b/htdocs/Applications/Applications.raw @@ -24,6 +24,12 @@ Here are the ones we are aware of. </LI> <P> <LI> + <A HREF="http://www.cs.ru.nl/~jasperb/fortuna/">Fortuna</A> + is a model checker for priced probabilistic timed automata. + It heavily uses the Parma Polyhedra Library. + </LI> +<P> + <LI> <A HREF="http://gcc.gnu.org/wiki/MiddleEndLispTranslator">MELT</A> (Middle End Lisp Translator), an experimental branch of <A HREF="http://gcc.gnu.org/">GCC</A> (the GNU Compiler