Low-Speed Space Launch System Computational Fluid Dynamics: A Comprehensive Overview
Formal Analysis of the Remote Agent Before and After Flight
Timing Analysis by Model Checking
Modeling the Fault Tolerant Capability of a Flight Control System: An Exercise in SCR Specification
Modeling and Validating Hybrid Systems using VDM and Mathematica
Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware
Reuse of a Formal Model for Requirements Validation
Modeling and Validating SAFER in VDM-SL
Fundamental Hardware Design in PVS
Domain Checking Z Specifications
Proving Properties of Accidents
Introduction to Penelope and Its Applications
Applying the SCR Requirements Method to a Simple Autopilot
Overview of NASA Langley's Formal Methods Program