CosyVerif: An Open Source Extensible Verification Environment - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

CosyVerif: An Open Source Extensible Verification Environment

Résumé

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.

Dates et versions

hal-00926165 , version 1 (09-01-2014)

Identifiants

Citer

É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⟩
306 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More