The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28870
Record Status Checked
Record Id 28870
Title Quantitative Analysis of an Application of Formal Methods
Abstract This paper reports on the experience gained in the MaFMeth project, which undertook a formal development with tool support for several parts of the life cycle from requirements capture through to C code generation. We explore the hypotheses that formal methods enable the early detection of faults in design by examining the development process in the light of the stages at which faults were introduced and discovered.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Industrial Benefit and Advances in Formal Methods. Third International Symposium of Formal Methods Europe 1051 (FME'96), Oxford, UK, March 18–22, 1996, (1996). fme96.pdf 1996