Formal program verification in avionics certification

Five years after the official adoption of the new DO-178C/ED-12C standard and its supplements, including the DO-333/ED-216 supplement on formal methods, no avionics-certification project has yet acknowledged using this new supplement. However, formal method technologies do exist that would ease the development of avionics software.

Sorry, the full text of this article is not currently available. Please try back later.

The editor was notified of this error on: Tuesday 28th of November 2017 06:24:22 PM.