CosyVerif : Environnement logiciel pour la spécification et la vérification de systèmes dynamiques
Équipe : MoVeCosyVerif est un environnement logiciel permettant la spécification formelle et la vérification de systèmes dynamiques.
Responsable : Fabrice KORDONhttp://www.cosyverif.org