[PPL-devel] [GIT] ppl/w3ppl(master): Added a link to Fortuna, a model checker for priced probabilistic timed automata.

[Roberto Bagnara]

Module: ppl/w3ppl
Branch: master
Commit: 2a7eb04eb7158c9a06469fde3dda1f8829717670
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=2a7eb04eb7158c9a06469fde3dda1f8829717670

Author: Roberto Bagnara <bagnara at 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