4 ms·A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software2 points by obl 4y ago