Formal Methods and Compliance to the DO‐178C/ED‐12C Standard in Aeronautics
Jean‐Louis Boulanger · 2011
This chapter contains sections titled: Introduction Principles of the DO-178/ED-12 standard Verification process The formal methods technical supplement LLR verification by model-checking Contribution to the verification of robustness properties with Frama-C Static analysis and preservation of properties Conclusion and perspectives Appendices Acknowledgements Bibliography