[PPL-devel] [GIT] ppl/w3ppl(master): Added a link to IMITATOR.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Sep  7 14:05:07 2010 +0200

Added a link to IMITATOR.

---

 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 490fd08..3747fc1 100644
--- a/htdocs/Applications/Applications.raw
+++ b/htdocs/Applications/Applications.raw
@@ -18,6 +18,12 @@ Here are the ones we are aware of.
   </LI>
 <P>
   <LI>
+    <A HREF="http://www.lsv.ens-cachan.fr/Software/imitator/">IMITATOR</A>
+    (Inverse Method for Inferring Time AbstracT behaviOR))" performs
+    constraint synthesis on parametric timed automata.
+  </LI>
+<P>
+  <LI>
     <A HREF="http://julia.scienze.univr.it/">Julia</A>:
     a generic static analyser for full sequential Java bytecode.
     Julia is written in Java and accesses the PPL via its Java interface.