LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Software » MoVe

CosyVerif : Software Environment for the Formal Specification and Verification of Dynamic Systems

Team : MoVe

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

Software leader : Fabrice KORDON
http://www.cosyverif.org
 Mentions légales
Site map |