jETI Logo  
Map of Europe with FMICS Members


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.

University of Malaga, Spain INRIA Grenoble, France ISTI Pisa, Italy University of Brno, Czech Republic Universität Saarbrücken, Germany University of Potsdam, Germany University of Dortmund, Germany CWI Amsterdam, Netherlands CCLRC London, United Kingdom ERCIM Working Group: FMICS Formal Methods for Industrial Critical Systems java Electronic Tool Integration Platform