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/28902
Record Status
Checked
Record Id
28902
Title
Experiences with Proof in a Formal Development
Contributors
DL Clutterbuck
,
J C Bicarregui
,
B M Matthews
Abstract
This paper describes an investigation into the proof facilities within the B-Toolkit based on a study of the specification and refinement of low level code in the control systems domain. We describe the problems we encountered and some means by which these problems can be tackled within the existing framework. We conclude with some more general guidelines by which the proof facilities could be enhanced to improve the effectiveness of the provers for industrial scale verification of formal developments.
Organisation
CCLRC
,
BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language
English (EN)
Type
Details
URI(s)
Local file(s)
Year
Paper In Conference Proceedings
In 1st International Conference on B Conference, (B'96), Nantes, France, November, 1996, (1996).
1996
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