The open archive for STFC research publications

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
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
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