THE FMICS VIEW ON THE VERIFIED SOFTWARE REPOSITORY

Issue title: Applications of formal methods

Article type: Research Article

Authors: Arenas, Alvaro E. | Bicarregui, Juan C. | Margaria, Tiziana

Affiliations: E-Science Centre, CCLRC Rutherford Appleton Laboratory, Chilton, Oxfordshire, UK | Chair of Service and Software Engineering, Universität Potsdam, Germany

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: service-oriented platforms, formal verification, model checking, industrial critical systems

Journal: Journal of Integrated Design & Process Science, vol. 10, no. 4, pp. 47-54, 2006