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.