- "Modular Formal Verification of Rust Programs with Unsafe Blocks", by Nima Rahimi Foroushaani and Bart Jacobs. "[W]e are trying to verify soundness of Rust unsafe code applying our Modular Symbolic Execution algorithm. This text outlines our ... progress thus far." [abstract + link to PDF, 23pp] https://arxiv.org/abs/2212.12976 26 comments rust