CosyVerif : an Open Source Extensible Verification Environment

被引：7

作者：

Andre, Etienne ^{[1
]}

Lembachar, Yousra ^{[1
]}

Petrucci, Laure ^{[1
]}

Hulin-Hubard, Francis ^{[2
]}

Linard, Alban ^{[2
]}

Hillah, Lom ^{[3
,4
]}

Kordon, Fabrice ^{[3
,4
]}

机构：

[1] Univ Paris 13, Sorbonne Paris Cite, CNRS, LIPN UMR 7030, F-93430 Villetaneuse, France

[2] INRIA & ENS Cachan, CNRS, LSV, Cachan, France

[3] Univ P & M Curie, CNRS, LIP6, UMR 7606, Paris, France

[4] Univ Paris Ouest, Paris, France

来源：

2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2013年

关键词：

Formal verification; Distributed computing; Client-server systems; Web services; Software reusability; Software architecture; NETS;

D O I：

10.1109/ICECCS.2013.15

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：33 / 36

页数：4

共 50 条

[1] An open-source, extensible spacecraft simulation and modeling environment framework
Turner, AJ
Hall, CD
[J]. ASTRODYNAMICS 2003, PTS 1-3, 2003, 116 : 23 - 39
[2] Turbulence model verification and validation in an open source environment
Wei, Daniel
Spence, Seymour M. J.
Kareem, Ahsan
[J]. PROGRESS IN COMPUTATIONAL FLUID DYNAMICS, 2018, 18 (02): : 69 - 88
[3] Anatomy of an Extensible Open Source PACS
Frederico Valente
Luís A. Bastião Silva
Tiago Marques Godinho
Carlos Costa
[J]. Journal of Digital Imaging, 2016, 29 : 284 - 296
[4] Anatomy of an Extensible Open Source PACS
Valente, Frederico
Bastiao Silva, Luis A.
Godinho, Tiago Marques
Costa, Carlos
[J]. JOURNAL OF DIGITAL IMAGING, 2016, 29 (03) : 284 - 296
[5] A Scalable Image/Video Processing Platform with Open Source Design and Verification Environment
Yang, Xiaokun
Zhang, Yunxiang
Wu, Lei
[J]. PROCEEDINGS OF THE 2019 20TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2019, : 110 - 116
[6] BioUML - Open source extensible workbench for systems biology
Kolpakov, F. A.
[J]. Proceedings of the Fourth International Conference on Bioinformatics of Genome Regulation and Structure, Vol 2, 2004, : 77 - 80
[7] GALE: a generic open source extensible adaptation engine
De Bra, Paul
Knutov, Evgeny
Smits, David
Stash, Natalia
Ramos, Vinicius F. C.
[J]. NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA, 2013, 19 (02) : 182 - 212
[8] An extensible open-source compiler infrastructure for testing
Quinlan, Dan
Ur, Shmuel
Vuduc, Richard
[J]. HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 116 - 133
[9] An open extensible tool environment for event-B
Abrial, Jean-Raymond
Butler, Michael
Hallerstede, Stefan
Voisin, Laurent
[J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 588 - 605
[10] PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration
Razdan, Rahul
Akbas, Mustafa Ilhan
Sell, Raivo
Bellone, Mauro
Menase, Mahesh
Malayjerdi, Mohsen
[J]. IEEE ACCESS, 2023, 11 : 28343 - 28354

← 1 2 3 4 5 →