ePubs

The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

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