Modular Formal Verification of Rust Programs with Unsafe Blocks. - Nima Rahimi Foroushaani; Bart Jacobs 002 (CoRR, 2022)