Verify the Safety of the Rust Standard Library, AWS Open Source Blog. Verus lang Hax: Translating Rust into Coq and F* Compiler, Language and Runtime Teams A List of companies that use formal verification methods in software engineering A Guide to Undefined Behavior in C and C++, Part 1 AlphaProof's Greatest Hits Stanford PL course Great Works in Programming Languages Collected by Benjamin C. Pierce Classic Papers in PL Memory Representation of Values in OCaml Formal Verification at AWS Safety Risks in C The Programming Languages Zoo SIGPLAN Blog Infer: A Static Analyzer Writen in OCaml (by Meta) OCaml/Rust Interoperability Library (by Meta) Haskell in Industry Programming Languages That Blew My Mind