from Hacker News

A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software

by obl on 11/14/22, 8:18 AM with 0 comments