NASA Logo

NTRS

NTRS - NASA Technical Reports Server

About 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
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
Funding Number(s)
PROJECT: RTOP 522-33-11-03
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 19970029195.pdf STI

Related Records

IDRelationTitle19970029206Analytic SubsidiaryTowards High-Assurance High-Performance Program Synthesis19970029212Analytic SubsidiaryFundamental Hardware Design in PVS19970029202Analytic SubsidiaryReuse of a Formal Model for Requirements Validation19970029196Analytic SubsidiaryWhy are Formal Methods Not Used More Widely?