Jekyll2026-07-16T22:28:49+00:00https://www.cosyverif.org/feed.xmlCosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems. It consists of CosyDraw, the graphical interface, and Alligator, an integration framework web service.