M Dierkes - 2014 2nd International Conference on Model …, 2014 - ieeexplore.ieee.org
In the aerospace industry, it has become possible to use formal analysis results as
certification evidence thanks to the new version of the standard DO-178C and its formal …