Login
From:
Kani Rust Verifier Blog
(Uncensored)
subscribe
Verifying Raw Pointer Arithmetic Operations | Kani Rust Verifier Blog
https://model-checking.github.io//kani-verifier-blog/2024/12/10/verifying-raw-pointer-arithmetic-operations.html
links
backlinks
Roast topics
Find topics
Find it!
Authors: Surya Togaru, Yifei Wang, Szu-Yu Lee, Mayuresh Joshi
