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.
['Alvaro Arenas', 'Juan Bicarregui', 'Tiziana Margaria']
The Fmics View On The Verified Software Repository