The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/35384
Record Status Checked
Record Id 35384
Title The FMICS view on the Verified Software Repository
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.
Organisation CCLRC , ESC , VSR
Keywords Formal Methods , Engineering
Funding Information
Related Research Object(s): 49059266
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Journal of Integrated Design and Process Science 10, no. 4 (2006): 47-54. https://content.i…s-science/jid10-4-05 2006