AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods

In the age of AI-driven development, software testing is evolving beyond traditional boundaries. This talk explores how the fusion of Artificial Intelligence and formal verification methods, specifically Hoare Logic, is transforming the way we ensure software correctness.

We will demonstrate how AI can do more than just generate test cases—it can enhance formal verification by automatically inferring preconditions and postconditions through machine learning. By integrating symbolic execution with AI, we move from simple test cases to proof cases, offering mathematically-backed assurances of code correctness.