The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28871
Record Status Checked
Record Id 28871
Title Formal methods in practice: a comparison of two support systems for proof
Abstract This paper discusses the use of formal methods in the light of experience gained from two industrial projects using the B Abstract Machine Notation. A simple example is presented which demonstrates the use of formal specification, refinement and proof in the B Method, and this is compared with a similar development in VDM. The role of fully formal proof is considered and, in particular, the construction of application specific theories for balancing automation and interaction in the verification of designs is explored.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Lecture Notes in Computer Science 1012 (1995): 184-205. Is in proceedings of: 22nd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM '95: Theory and Practice of Informatics), Milovy, Czech Republic, 23 Nov 1995 - 25 Nov 0095. https://doi.org/1…007/3-540-60609-2_10 1995