NASA NTRS · 20060035409
Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion
Abstract
This volume presents technical issues involved in applying mathematical techniques known as Formal Methods to specify and analytically verify aerospace and avionics software systems.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Kelly, John C.. 1997-07-14. Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems Volume II: A Practitioner's Companion. https://ntrs.nasa.gov/citations/20060035409
Cite the original work for its findings. Save a collection to share your selection of sources.