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
Sonstige
Keine Angabe
Englisch
1990 NASA Aerospace Battery Workshop
NTIS | 1991
|The 1990 NASA Aerospace Battery Workshop
NTRS | 1991
|Overview of NASA Langley's Formal Methods Program
British Library Conference Proceedings | 1995
|