FMICS

An important step in meeting the Verifying Compiler Grand Challenge is the Verified Software Repository, a scientific repository that will assist in the development of software by facilitating access to a managed collection of analysis tools and a repository of case studies or challenge codes to exercise these tools. In the FMICS view, the repository should include proven correct software and tools to help establishing the correctness of the software in question. This site presents the contribution of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) to the VSR.

One of the goals of FMICS is to transfer and promote the use formal methods technology in industry. We believe that the VSR offers a great opportunity to reach this goal, resulting in a more robust and solid software industry in Europe. We are thus setting up a collaborative demonstrator, based on the jETI technology, to provide tools to the repository and to orchestrate different tools.