A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software #1 Post by obl » Mon, Nov 14, 2022, 8:18 AM UTC A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Softwareyoutube.com