# 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 form