NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
A brief overview of NASA Langley's research program in formal methodsAn overview of NASA Langley's research program in formal methods is presented. The major goal of this work is to bring formal methods technology to a sufficiently mature level for use by the United States aerospace industry. Towards this goal, work is underway to design and formally verify a fault-tolerant computing platform suitable for advanced flight control applications. Also, several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of six NASA civil servants and contractors from Boeing Military Aircraft Company, Computational Logic Inc., Odyssey Research Associates, SRI International, University of California at Davis, and Vigyan Inc.
Document ID
19930003770
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Date Acquired
September 6, 2013
Publication Date
November 1, 1992
Publication Information
Publication: The Second NASA Formal Methods Workshop 1992
Subject Category
Computer Programming And Software
Accession Number
93N12958
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available