ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
AE Arenas (CCLRC Rutherford Appleton Lab.)
,
JC Bicarregui (CCLRC Rutherford Appleton Lab.)
,
T Margaria (Potsdam U.)
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar