CosyVerif

Software environment for the formal specification and verification of dynamic systems