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

€ 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.

Quantity: