1. Formal Method for Avionics Software Verification From a real use for Airbus aircrafts to the integration in ED-12C/DO-178COpen-DO Conference Combining Formality with Agility…
Slide 1 Slide 2 Safety Critical Systems and Certification Issues DO-178B Airborne Standard Slide 3 3 SC190 / WG-52 Application Guidelines For RTCA DO-178b/ED-12b DO-178B…