Formal Methods for High-Security Software Requirements - From Theory to Practice

Explore a comprehensive 73-minute technical presentation that delves into the application of Formal Methods for high-security software development across automotive, semiconductor, and consumer electronics industries. Learn from Senior Technical Presales Engineer Olivier Korach's 30 years of critical software industry experience as he demonstrates how Formal Methods provide mathematical guarantees for source code integrity while ensuring efficient software testing and industry security standard compliance. Discover the evolution of Formal Methods from specialized sectors like Aeronautics and Nuclear industries to mainstream software markets, particularly in embedded systems. Gain detailed insights into memory layout, unit testing, fuzzing, and practical industry examples while understanding the benefits, positioning, and limitations of Formal Methods in modern software development. Master the technical aspects of Formal Method proofs and their impact on software validation technologies through real-world applications and detailed case studies.