Section: New Software and Platforms

CosyVerif

Functional Description: CosyVerif is a platform dedicated to the formal specification and verification of dynamic systems. It allows to specify systems using several formalisms (such as automata and Petri nets), and to run verification tools on these models.

• Participants: Alban Linard, Fabrice Kordon, Laure Petrucci and Serge Haddad

• Partners: LIP6 - LSV - LIPN (Laboratoire d'Informatique de l'Université Paris Nord)

• Contact: Serge Haddad

• URL: http://www.cosyverif.org/