Why Engineers Should Consider Formal Methods
C. Michael Holloway · 1997
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.