#separationlogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #separationlogic, aggregated by home.social.
-
In this week's #blog (or last week's, I don't know, my schedule is shot) I look at the (pre)history of #separationLogic - cool substructural #logic set to work to solve programming problems. https://blogs.fediscience.org/the-updated-scholar/2025/09/11/discussing-bi-as-an-assertion-language-for-mutable-data-structures/
-
@totherme Please could you recommend any good resources on separation logic? (Truly) asking for a friend.
-
“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