CosyVerif aims at gathering within a common framework various existing tools for specification and verification. It has been designed in order to 1) support different formalisms with the ability to easily create new ones, 2) provide a graphical user interface for every formalism, 3) include verification tools called via the graphical interface or via an API as a Web service, and 4) offer the possibility for a developer to integrate his/her own tool without much effort, also allowing it to interact with the other tools. Several tools have already been integrated for the formal verification of (extensions of) Petri nets and timed automata.
['Elisabeth André', 'Yousra Lembachar', 'Laure Petrucci', 'Francis Hulin-Hubard', 'Alban Linard', 'Lom Messan Hillah', 'Fabrice Kordon']
CosyVerif: An Open Source Extensible Verification Environment