# Rust and Formal Verification: How to Prove Your Code Actually Works

As a best-selling author, I invite you to explore my books on Amazon . Don't forget to follow me on Medium and show your support. Thank you! Your support means the world! Let's talk about making software that doesn't just seem to work, but that we can prove works correctly. This is the world of formal verification. It can sound intimidating, like something reserved for rocket scientists and academic papers. But what if you could get much closer to that level of certainty using a language you alr