CosyVerif : Environnement logiciel pour la spécification et la vérification de systèmes dynamiques
http://www.cosyverif.org

É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
Mentions légales
Carte du site