DO-333
Formal Methods Supplement to DO-178C
Supplement providing guidance for using formal methods in airborne software development. Addresses the use of mathematical proofs as an alternative or complement to testing for verification objectives.
- Document
- DO-333 / ED-216 (2011)
- URL
- https://www.rtca.org/products/do-333/
- Label
- Standard
- Keywords
- formal methods mathematical proofs verification airborne software RTCA
- Derived from
DO-178C
Domain: Aerospace · Standard