NASA NTRS · 20040105661
Why Engineers Should Consider Formal Methods
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.
Keep this discovery
Explore connections, maps & timelines
Holloway, C. Michael. 1997-01-01. Why Engineers Should Consider Formal Methods. https://ntrs.nasa.gov/citations/20040105661
Cite the original work for its findings. Save a collection to share your selection of sources.