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-17649NASA-CP-3356NAS 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
19970029195.pdf STIcloud_downloadcontent_copyvisibilityRelated Records
19970029206Analytic 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?