CosyVerif : Software Environment for the Formal Specification and Verification of Dynamic Systems
وحـدة : MoVeCosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems.
مسـؤول عن برامجي : Fabrice KORDONhttp://www.cosyverif.org