#separationlogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #separationlogic, aggregated by home.social.
-
“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (https://xav.io/blog/rust-formal-verification/).
On Lobsters: https://lobste.rs/s/fekcju/visions_future_formal_verification_rust
#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing