NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
NASA Langley Research and Technology-Transfer Program in Formal MethodsThis paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. 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 five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.
Document ID
20040111237
Document Type
Other
Authors
Butler, Ricky W. (NASA Langley Research Center Hampton, VA, United States)
Caldwell, James L. (NASA Langley Research Center Hampton, VA, United States)
Carreno, Victor A. (NASA Langley Research Center Hampton, VA, United States)
Holloway, C. Michael (NASA Langley Research Center Hampton, VA, United States)
Miner, Paul S. (NASA Langley Research Center Hampton, VA, United States)
DiVito, Ben L. (Vigyan Research Associates, Inc. Hampton, VA, United States)
Date Acquired
September 7, 2013
Publication Date
January 1, 1995
Subject Category
Administration and Management
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 20040111237.pdf STI