The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/12376135
Record Status Checked
Record Id 12376135
Title Establishing the Verified Software Repository: Current Plans
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
Funding Information
Related Research Object(s):
Licence Information:
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