Why engineers should consider formal methods
Open Access
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 1.3-16
- https://doi.org/10.1109/dasc.1997.635021
Abstract
This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.Keywords
This publication has 5 references indexed in Scilit:
- NASA Langley's research and technology-transfer program in formal methodsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Next Software BreakthroughComputer, 1997
- The infeasibility of quantifying the reliability of life-critical real-time softwareIEEE Transactions on Software Engineering, 1993
- A reply to the criticisms of the Knight & Leveson experimentACM SIGSOFT Software Engineering Notes, 1990
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986