Explore formal verification concepts and automated reasoning techniques in this conference talk from C++Now 2025. Learn how formal verification principles can improve your C++ code quality and design, even when full formal verification isn't necessary for your project. Discover model checking and deductive reasoning approaches that enable you to think "like a computer" when analyzing code correctness. Gain practical insights into writing cleaner, more reasoned code by understanding the foundational concepts behind automated formal verification. Master techniques for better software design through the lens of formal methods, presented by Nick Waddoups, a computer engineer specializing in formal verification and model checking at Utah State University.