MoVe : Environnement logiciel pour la spécification et la vérification de systèmes dynamiques

Équipe : MoVe

CosyVerif est un environnement logiciel permettant la spécification formelle et la vérification de systèmes dynamiques.

Responsable : Fabrice KORDON
http://www.cosyverif.org