ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28903
Record Status Checked
Record Id 28903
Title Making the Most of Formal Specification Through Animation, Testing and Proof
Contributors
Abstract The use of formality in software development enables formal manipulation at the symbolic level and hence can yield new perspectives on the design which can be submitted to inspection and interactive or automatic analysis. We describe the experience of an industrial pilot project which undertook a formal development using VDM and B and employed a number of techniques for the analysis of the formal texts by animation, test case generation and proof. We assess the effectiveness of methodology and techniques adopted by measuring the introduction and detection of faults.
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 Science of Computer Programming 29, no. 1-2 (1997): 55-80. doi:10.1016/S0167-6423(96)00029-9 1997