NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Lfm2000: Fifth NASA Langley Formal Methods WorkshopThis is the proceedings of Lfm2000: Fifth NASA Langley Formal Methods Workshop. The workshop was held June 13-15, 2000, in Williamsburg, Virginia. See the web site for complete information about the event.
Document ID
20000055716
Acquisition Source
Langley Research Center
Document Type
Conference Proceedings
Authors
Holloway, C. Michael (NASA Langley Research Center Hampton, VA United States)
Date Acquired
September 7, 2013
Publication Date
June 1, 2000
Subject Category
Computer Programming And Software
Report/Patent Number
L-17985
NASA/CP-2000-210100
NAS 1.55:210100
Meeting Information
Meeting: Formal Methods
Location: Williamsburg, VA
Country: United States
Start Date: June 13, 2000
End Date: June 15, 2000
Sponsors: NASA Headquarters
Funding Number(s)
PROJECT: RTOP 519-50-11-01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle20000055721WorkModeling the Fault Tolerant Capability of a Flight Control System: An Exercise in SCR Specification20000055723WorkTiming analysis by model checking20000055731WorkFormal Analysis of the Remote Agent Before and After Flight20000055733WorkAn Overview of SAL20000055727WorkStructuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes
No Preview Available