The open archive for STFC research publications
Full Record Details
Making the Most of Formal Specification Through Animation, Testing and Proof
J C Bicarregui
B M Matthews
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.
Science of Computer Programming 29 1-2 55-80.
Showing record 1 of 1
Login to Add and Manage Publications
Terms & conditions
Science and Technology Facilities Council
Switchboard: 01793 442000