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.
Cite
CITATION STYLE
Bicarregui, J., Dick, J., & Woods, E. (1996). Quantitative analysis of an application of formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 60–73). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_80
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
