Logiciels, Prototypes et Démonstrateurs

Les outils développés ou co-développés par l'équipe VERTICS :

  • La suite TINA : outils d'édition et d'analyse de réseaux de Petri temporels.
  • Le langage pivot FIACRE : langage de modélisation d'activités parallèles avec contraintes temporelles.