The primary goal of the workshop was to bring together formal methods researchers and aerospace industry engineers to investigate new opportunities for applying formal methods to aerospace problems. The first part of the workshop was tutorial in nature. The second part of the workshop explored the potential of formal methods to address current aerospace design and verification problems. The third part of the workshop involved on-line demonstrations of state-of-the-art formal verification tools. Also, a detailed survey was filled in by the attendees; the results of the survey are compiled.
The Second NASA Formal Methods Workshop 1992
01.11.1992
Sonstige
Keine Angabe
Englisch
Second NASA Formal Methods Workshop 1992
NTIS | 1992
|NASA Formal Methods Workshop, 1990
NTIS | 1990
|NASA Formal Methods Workshop, 1990
NTRS | 1990
|Third NASA Langley Formal Methods Workshop
NTIS | 1995
Fourth NASA Langley Formal Methods Workshop
NTIS | 1997
|