NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Fourth NASA Langley Formal Methods WorkshopThis 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.
Document ID
19970029195
Acquisition Source
Headquarters
Document Type
Conference Proceedings
Authors
Holloway, C. Michael (NASA Langley Research Center Hampton, VA United States)
Hayhurst, Kelly J. (NASA Langley Research Center Hampton, VA United States)
Date Acquired
September 6, 2013
Publication Date
September 1, 1997
Publication Information
Publication: Fourth NASA Langley Formal Methods Workshop
Subject Category
Mathematical And Computer Sciences (General)
Report/Patent Number
L-17649
NASA-CP-3356
NAS 1.55:3356
Accession Number
97N27873
Funding Number(s)
PROJECT: RTOP 522-33-11-03
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle19970029206WorkTowards High-Assurance High-Performance Program Synthesis19970029212WorkFundamental Hardware Design in PVS19970029202WorkReuse of a Formal Model for Requirements Validation19970029196WorkWhy are Formal Methods Not Used More Widely?
No Preview Available