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):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 22nd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM '95), Milovy, Czech Republic, 23 Nov 1995 - 1 Dec 1995, (1995): 184-205. doi:10.1007/3-540-60609-2_10 1995
Showing record 1 of 1