16th DASC Paper and Presentation

For the 16th Digital Avionics Systems Conference (27-30 October 1997), I wrote a paper titled, Why Engineers Should Consider Formal Methods. In this paper, I presented a logical analysis of a typical rationale for formal methods, and suggested a simpler alternative rationale.
Curator and Responsible NASA Official: C. Michael Holloway
last modified: 11 January 2001 (08:52:08)