References
The Software Engineering Institute. SEI CERT C Coding Standard.
MISRA. 2015. Guidelines for the Use of the C Language in Critical Systems
Holzmann, G. J. 2006. The Power of 10: Rules for Developing Safety-Critical Code
ISO/IEC High Integrity Rapporteur Group. 2000. "ISO/IEC TR 15942:2000 Guide for the Use of the Ada Programming Language in High Integrity Systems." ISO/IEC TR 15942:2000, July
ISO/IEC. 2016. ISO/IEC JTC 1/SC 22/WG9 Ada Reference Manual - Language and Standard Libraries-ISO/IEC 8652:2012/Cor 1:2016
ISO/IEC. 2020. ISO/IEC JTC 1/SC 22/WG9 Ada Reference Manual - Language and Standard Libraries-ISO/IEC 8652:2020
AdaCore. 2016. High-Integrity Object-Oriented Programming in Ada, Version 1.4
Liskov, B. and Wing, J. 1994. "A Behavioral Notion of Subtyping." ACM Transactions on Programming Languages and Systems (TOPLAS) Vol. 16, Issue 6 (November): 1811-1841.
RTCA DO-178C/EUROCAE ED-12C. 2011. Software Considerations in Airborne Systems and Equipment Certification
Meyer, B. 1997. "Object-Oriented Software Construction." Prentice Hall Professional Technical Reference (2nd Edition)
MITRE. 2019. Common Weakness Enumeration (CWE)
The Software Engineering Institute. SEI CERT Oracle Coding Standard for Java
ISO/IEC. 2022. ISO/IEC TR 24772-2:20 Programming Languages - Guidance to Avoiding Vulnerabilities in Programming Languages - Part 2: Ada
AdaCore. SPARK 2014 User's Guide.
AdaCore. "GNATstack User's Guide"