CosyVerif : Software Environment for the Formal Specification and Verification of Dynamic Systems
http://www.cosyverif.org

Forschungsgruppe : MoVe

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

Verantwortliche(r) : Fabrice KORDON
http://www.cosyverif.org
Mentions légales
Plan