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