The Fmics View On The Verified Software Repository

Authors:
Alvaro E. Arenas;Juan C. Bicarregui;Tiziana Margaria
Affiliations:
E-Science Centre, CCLRC Rutherford Appleton Laboratory, Chilton, Oxfordshire, UK;E-Science Centre, CCLRC Rutherford Appleton Laboratory, Chilton, Oxfordshire, UK;Chair of Service and Software Engineering, Universität Potsdam, Germany
Venue:
Journal of Integrated Design & Process Science - Applications of formal methods
Year:
2006

Citing 6
Cited 0

The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
Remote Integration and Coordination of Verification Tools in JETI

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
The verified software repository: a step towards the verifying compiler

Formal Aspects of Computing
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC

ICECCS '06 Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems
Data-Flow analysis as model checking within the jABC

CC'06 Proceedings of the 15th international conference on Compiler Construction
jMosel: a stand-alone tool and jABC plugin for M2L(str)

SPIN'06 Proceedings of the 13th international conference on Model Checking Software

Quantified Score

Hi-index	0.00

Visualization

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.