Comment on Formally Verifying Rust's Opaque TypesparentComments−dahfizz4yI doubt it. Formal verification helps you prove your algorithms are correct. Bugs from unsafe rust are going to be way more subtle than that, like accidentally assigning a string and crashing [1].[1] https://lucumr.pocoo.org/2022/1/30/unsafe-rust/
Comments
I doubt it. Formal verification helps you prove your algorithms are correct. Bugs from unsafe rust are going to be way more subtle than that, like accidentally assigning a string and crashing [1].
[1] https://lucumr.pocoo.org/2022/1/30/unsafe-rust/