“Both these tools use the Rust type system to eliminate the need for separation logic, in fact, these tools transform Rust programs into equivalent, pure, functional programs!”

https://xav.io/blog/rust-formal-verification/

Mastodon Source 🐘