graydon2 | Some notes on Rust, mutable aliasing and formal verificationHello, you've been (semi-randomly) selected to take a CAPTCHA to validate your requests. Please complete it below and hit the button!#rust#formal_methods#formal-verification#typestate#graydon·graydon2.dreamwidth.org·May 16, 2024graydon2 | Some notes on Rust, mutable aliasing and formal verification