“Visions Of The Future: Formal Verification In Rust”, Xavier Denis (xav.io/blog/rust-fo...).
On Lobsters: lobste.rs/s/fekcju/vis...
#Rust #FormalVerification #HoareLogic #SeparationLogic #Correctness #Proof #Assertions #References #Aliasing
0
0
0
0