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