ED-216 - Formal Methods supplement to ED-12C and ED-109A

€ 215.00 excl VAT


Full member: 0,00€

Limited member: 150,50€ (excl VAT)

Non member: 215,00€ (excl VAT)


Issued in January 2012.

This supplement identifies the additions, modifications and substitutions to ED-12C and ED-109A objectives when formal methods are used as part of a software life cycle, and the additional guidance required. It discusses those aspects of airworthiness certification that pertain to the production of software, using formal methods for systems approved using ED-12C.

added to cart