This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS.
Fourth NASA Langley Formal Methods Workshop
1997
226 pages
Report
No indication
English
Third NASA Langley Formal Methods Workshop
NTIS | 1995
NASA Formal Methods Workshop, 1990
NTIS | 1990
|NASA Formal Methods Workshop, 1990
NTRS | 1990
|