graydon2 Some notes on Rust, mutable aliasing and formal verification
Metadata
Source URL:: https://graydon2.dreamwidth.org/312681.html
Topics:: #rust, #formal_methods, #formal-verification, #typestate, #graydon
Hello, you've been (semi-randomly) selected to take a CAPTCHA to validate
your requests. Please complete it below and hit the button!