CosyVerif: An Open Source Extensible Verification Environment

Étienne André 1 Yousra Lembachar 1 Laure Petrucci 1 Francis Hulin-Hubard 2 Alban Linard 2, 3 Lom Hillah 4 Fabrice Kordon 4
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
4 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
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 : Thursday, March 21, 2019 - 2:44:29 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