NASA NTRS · 20100020981
Guidance for Using Formal Methods in a Certification Context
Abstract
This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to propose guidance to make the use of formal methods a recognized approach. This guidance, expected to take the form of a Formal Methods Technical Supplement to DO-178C/ED-12C, is described, including the activities that are needed when using formal methods, new or modified objectives with respect to the core DO-178C/ED-12C document, and evidence needed for meeting those objectives.
Keep this discovery
Explore connections, maps & timelines
Brown, Duncan, Delseny, Herve, Hayhurst, Kelly, Wiels, Virginie. 2010-05-19. Guidance for Using Formal Methods in a Certification Context. https://ntrs.nasa.gov/citations/20100020981
Cite the original work for its findings. Save a collection to share your selection of sources.