NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Formal Methods for Life-Critical SoftwareThe use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.
Document ID
20040129612
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Butler, Ricky W. (NASA Langley Research Center Hampton, VA, United States)
Johnson, Sally C. (NASA Langley Research Center Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 1993
Publication Information
Publication: AIAA Computing in Aerospace 9 Conference
Subject Category
Computer Programming And Software
Report/Patent Number
AIAA Paper 93-4516
Report Number: AIAA Paper 93-4516
Meeting Information
Meeting: AIAA Computing in Aerospace 9 Conference
Location: San Diego, CA
Country: United States
Start Date: October 19, 1993
End Date: October 21, 1993
Sponsors: American Inst. of Aeronautics and Astronautics
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available