CosyVerif  is a software environment whose goal is the formal specification and verification of dynamic systems.

It has been designed in order to:

  • support different formalisms with the ability to easily create new ones,
  • provide a graphical interface for every formalism,
  • include verification tools called via the interface as a web service,
  • offer the possibility for a developer to integrate his/her own tool, also allowing it to interact with the other tools.

This environment consists of two software tools: Coloane, the graphical interface, and Alligator, an integration framework based web services. It is enlarged with the existing verification tools developed in our laboratories (founding members or partners).


  • Contact : Laure Petrucci
  • Laboratoire d'origine : LIPN / LSV / LIP6
  • Réferences :


Vérification paramétrée de systèmes temps-réel, modélisés par des automates temporisés paramétrés.


  • Contact : Étienne André
  • Laboratoire d'origine : LSV
  • Réferences :
    Étienne André, Laurent Fribourg, Ulrich Kühne and Romain Soulat. IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems. In Dimitra Giannakopoulou and Dominique Méry (eds.), FM’12, LNCS 7436, Springer, pages 33–36, August 2012.

    Étienne André and Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc. ISBN: 9781848214477. January 2013.

Retour vers le haut