6. Bibliography

[Ada]

AdaCore. Online training for Ada and SPARK. AdaCore. URL: https://learn.adacore.com/.

[Ada16]

AdaCore. High-Integrity Object-Oriented Programming in Ada. AdaCore, 2016. URL: https://www.adacore.com/knowledge/technical-papers/high-integrity-oop-in-ada/.

[AA20]

AdaCore and Altran. PARK Reference Manual, Release 2020. AdaCore, 2020. URL: https://www.adacore.com/uploads/techPapers/spark_rm_community_2020.pdf.

[AT20]

AdaCore and Thales. Implementation Guidance for the Adoption of SPARK. AdaCore, 2020. URL: https://www.adacore.com/books/implementation-guidance-spark.

[Bar14]

John Barnes. Programming in Ada 2012. Cambridge University Press, 2014.

[BB15]

John Barnes and Ben Brosgol. Software, an invitation to Ada 2012. AdaCore, 2015. URL: https://www.adacore.com/books/safe-and-secure-software.

[BKKF11]

Paul E. Black, Michael Kass, Michael Koo, and Elizabeth Fong. Source Code Security Analysis Tool Functional Specification. National Institute for Standards and Technology (NIST), 2011.

[CDMM24]

Roderick Chapman, Claire Dross, Stuart Matthews, and Yannick Moy. Co-Developing Programs and Their Proof of Correctness. Communications OF The ACM, 2024. URL: https://www.adacore.com/uploads/techPapers/Co-Developing-Programs-and-Their-Proof-of-Correctness.pdf.

[Cri22]

Common Criteria. Common Criteria Development Board; *Common Criteria for Information Technology Security Evaluation (ISO/IEC 15408). Common Criteria, 2022. URL: https://www.commoncriteriaportal.org/.

[Dro22]

Claire Dross. The Work of Proof in SPARK. AdaCore, 2022. URL: https://www.adacore.com/uploads/techPapers/222293-adacore-spark-press-paper-v3.pdf.

[HVCR01]

Kelly J. Hayhurst, Dan S. Veerhusen, John J. Chilenski, and Leanna K. Rierson. A Practical Tutorial on Modified Condition / Decision Coverage. NASA, 2001. URL: https://shemesh.larc.nasa.gov/fm/papers/Hayhurst-2001-tm210876-MCDC.pdf.

[ICA44]

ICAO. Convention on International Civil Aviation. ICAO, 1944. URL: https://www.icao.int/publications/documents/7300_orig.pdf.

[ISOIEC12]

ISO/IEC. Ada Language Reference Manual, Language and Standard Libraries. AdaIC, 2012. URL: https://www.adaic.org/ada-resources/standards/ada12/.

[ISOIEC22]

ISO/IEC. Ada Language Reference Manual, Language and Standard Libraries. AdaIC, 2022. URL: https://www.adaic.org/ada-resources/standards/ada22/.

[KOC16]

Johannes Kanig, Quentin Ochem, and Cyrille Comar. Bringing SPARK to C developers. ERTS, 2016.

[MC15]

John W. McCormick and Peter C. Chapin. Building High Integrity Applications with SPARK. Cambridge University Press, 2015.

[Moy17]

Yannick Moy. Formal program verification in avionics certification. Military Embedded, 2017. URL: https://militaryembedded.com/avionics/safety-certification/formal-program-verification-avionics-certification.

[MLD+13]

Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, and Benjamin Monate. Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE, 2013.

[RCT11]

RCTA. Software Considerations in Airborne Systems and Equipment Certification. RCTA, 2011. URL: https://my.rtca.org/productdetails?id=a1B36000001IcmqEAC.

[Rie13]

Leanna Rierson. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press, 2013.