ePubs

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
Contributors
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 Engineering , Formal Methods
Funding Information
Related Research Object(s):
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. 2006
Showing record 1 of 1
RCUK
Science and Technology Facilities Council Switchboard: 01793 442000