CosyVerif : Software Environment for the Formal Specification and Verification of Dynamic Systems
Forschungsgruppe : MoVeCosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.
Verantwortliche(r) : Fabrice KORDONhttp://www.cosyverif.org