COSYVERIF

CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems... This environment consists of two software tools: CosyDraw, the graphical interface; and Alligator, an integration framework web service. CosyVerif is enlarged with the existing verification tools developed in our laboratories (founding members or partners)... CosyVerif is managed by a steering committee consisting of researchers and engineers. It decides strategic orientations as well as technical choices.