When Testing Just Doesn't Cut It - Formal Verification in Mission-Critical Software

Explore the limitations of traditional unit testing and delve into the world of formal verification in this 43-minute conference talk from Lambda Days 2023. Learn how mathematical proofs can provide higher levels of assurance for mission-critical software, particularly in financial applications. Discover the core architecture of a real-world system and the mathematical foundations behind its verification process. Gain insights into the types of problems that can be identified through formal verification methods, as well as their limitations. Understand why some situations demand more rigorous approaches than standard testing practices to ensure software reliability and correctness.