Formal Methods Supplement (DO-333/ED-216)

The goal of this training is to present the Formal Methods Technical Supplement of ED-12C, identify the new objectives and the possible improvements when using formal methods.


This seminar explains what a formal method is, as defined in ED-216. It gives an overview of existing families of formal methods. It also explains how formal methods can be used for the verification of software as proposed in ED-216.

To whom is this Training Course for?

Software Manager, Quality Manager, Software Engineer, Certification Manager

A good knowledge of DO-178B/ED-12B is recommended.


The seminar is setup on two working days and includes

  • Definition of a formal method
  • Overview of existing methods and tools
  • Verification process objectives and activities

The schedule incorporates significant opportunities for interaction and discussion.