NASA NTRS · 19970029195
Fourth NASA Langley Formal Methods Workshop
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Holloway, C. Michael, Hayhurst, Kelly J.. 1997-09-01. Fourth NASA Langley Formal Methods Workshop. https://ntrs.nasa.gov/citations/19970029195
Cite the original work for its findings. Save a collection to share your selection of sources.