ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/34841
Record Status Checked
Record Id 34841
Title Establishing the Verified Software Repository: Current Plans
Contributors
Abstract I will present current plans for the establishment and management of the verified software repository comprising software analysis tools and challenge codes for them. I will describe the proposed objectives, activities and workplan to support the vision outlined by Tony Hoare in the opening talk of the workshop. The talk will include an opportunity for the audience to contribute their own ideas for the project.
Organisation CCLRC , BITD , VSR
Keywords
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Presentation Presented at BCS-FACS Christmas meeting: The Verified Software Repository (VSR), London, UK, 21/12/2004. 2004
Showing record 1 of 1