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