The FMICS view on the verified software repository

Alvaro E. Arenas; Juan C. Bicarregui; Tiziana Margaria

The FMICS view on the verified software repository

Alvaro E. Arenas
, Juan C. Bicarregui
, Tiziana Margaria

Rutherford Appleton Laboratory
University of Potsdam

Research output: Contribution to journal › Article › peer-review

Abstract

An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.

Original language	English
Pages (from-to)	47-54
Number of pages	8
Journal	Journal of Integrated Design and Process Science
Volume	10
Issue number	4
Publication status	Published - 2006
Externally published	Yes

Keywords

Formal verification
Industrial critical systems
Model checking
Service-oriented platforms

Cite this

@article{17ddef05b0bc4103ba3a3d4b84440461,

title = "The FMICS view on the verified software repository",

abstract = "An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.",

keywords = "Formal verification, Industrial critical systems, Model checking, Service-oriented platforms",

author = "Arenas, \{Alvaro E.\} and Bicarregui, \{Juan C.\} and Tiziana Margaria",

year = "2006",

language = "English",

volume = "10",

pages = "47--54",

journal = "Journal of Integrated Design and Process Science",

issn = "1092-0617",

number = "4",

}

TY - JOUR

T1 - The FMICS view on the verified software repository

AU - Arenas, Alvaro E.

AU - Bicarregui, Juan C.

AU - Margaria, Tiziana

PY - 2006

Y1 - 2006

N2 - An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.

AB - An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. We propose to set up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.

KW - Formal verification

KW - Industrial critical systems

KW - Model checking

KW - Service-oriented platforms

UR - https://www.scopus.com/pages/publications/34249871613

M3 - Article

AN - SCOPUS:34249871613

SN - 1092-0617

VL - 10

SP - 47

EP - 54

JO - Journal of Integrated Design and Process Science

JF - Journal of Integrated Design and Process Science

IS - 4

ER -

The FMICS view on the verified software repository

Abstract

Keywords

Other files and links

Fingerprint

Cite this