The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.
NASA Formal Methods Workshop, 1990
1990-11-01
Miscellaneous
No indication
English
NASA Formal Methods Workshop, 1990
NTIS | 1990
|Third NASA Langley Formal Methods Workshop
NTIS | 1995
Fourth NASA Langley Formal Methods Workshop
NTIS | 1997
|Second NASA Formal Methods Workshop 1992
NTIS | 1992
|The Second NASA Formal Methods Workshop 1992
NTRS | 1992
|