An Informal Introduction to Formal Methods
Formal Analysis of the Remote Agent Before and After Flight
Orpheus: A Self-Checking Translation Tool Arrangement for Flight Critical Hardware
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
Honeywell Software Development Project
Overview of NASA Langley's Formal Methods Program
Introduction to Penelope and Its Applications