1. [n. d.]. https://compcert.org/
2. [n. d.]. https://cakeml.org/
3. [n. d.]. Security in Java 6.3 The Byte Code Verification Process. https://www.oracle.com/java/technologies/security-in-java.html
4. [n. d.]. SMT-LIB: The Satisfiability Modulo Theories Library. https://smtlib.cs.uiowa.edu/
5. [n. d.]. Vellvm: Verifying the LLVM. https://www.cis.upenn.edu/~stevez/vellvm/