ePubs

The open archive for STFC research publications

⚠ ePubs is undergoing scheduled maintenance on 18/11/2025 between 10:00-12:00. During this time, the service will be unavailable.

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