[2212.12976] Modular Formal Verification of Rust Programs with Unsafe Blocks - discu.eu

Reddit

"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 28/12/2022 rust

Linking pages

This Week in Rust 475 · This Week in Rust https://this-week-in-rust.org/blog/2022/12/28/this-week-in-rust-475/ 7 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:arxiv.org

Search title: [2212.12976] Modular Formal Verification of Rust Programs with Unsafe Blocks

See how to search.

Submit link to: