This supplement identifies the modifications and additions to ED-12C objectives, activities, explanatory text, and software life cycle data that should be addressed when formal methods are used as part of the software life cycle. This includes the artifacts that would be expressed using some formal notation and the verification evidence that could be derived from them.
Founded in 1963, EUROCAE is the European leader in the development of worldwide recognised industry standards for aviation.
9-23 rue Paul Lafargue
“Le Triangle” building
93200 Saint-Denis
France
Email: [email protected]
Phone: +33 1 49 46 19 65
