CosyVerif

CosyVerif is a software environment whose goal is the formal specification and verification of dynamic systems. It has been designed in order to: support different formalisms with the ability to easily create new ones, provide a graphical interface for every formalism, include verification tools called via the interface as a web service, offer the possibility for a developer to integrate his/her own tool, also allowing it to interact with the other tools. This environment consists of two software tools: Coloane, the graphical interface, and Alligator, an integration framework based web services. It is enlarged with the existing verification tools developed in our laboratories (founding members or partners).