formal-verification-articles A collection of articles about formal verification of programs in industry. Papers How Amazon Web Services Uses Formal Methods European Train Control System: A Case Study in Formal Verification CompCert C Compiler: Publications