Skip to Main content Skip to Navigation
Conference papers

CosyVerif: An Open Source Extensible Verification Environment

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Benedikt Bollig <>
Submitted on : Thursday, January 9, 2014 - 10:49:56 AM
Last modification on : Wednesday, July 22, 2020 - 5:02:02 PM

Links full text



Étienne André, Yousra Lembachar, Laure Petrucci, Francis Hulin-Hubard, Alban Linard, et al.. CosyVerif: An Open Source Extensible Verification Environment. 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'13), Jul 2013, Singapore, Singapore. pp.33-36, ⟨10.1109/ICECCS.2013.15⟩. ⟨hal-00926165⟩



Record views