On: Verified Rust for low-level systems code

[nickpsecurity]

This blog has a lot of introductory articles on many types of verification and correctness:

https://www.hillelwayne.com/