> Markdown version of [/events/world-congress-2025/sessions/865-ai-meets-hoare-logic](https://www.wearedevelopers.com/events/world-congress-2025/sessions/865-ai-meets-hoare-logic). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods


- **Date:** Friday, Jul 11, 2025
- **Time:** 14:20–14:50 (30 min)
- **Room:** Stage 8
- **Event:** World Congress 2025
- **Tags:** ai, java, llms, testing

## Recording

[Watch recording](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Description

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.

## Speaker

### [Onur Kasimlar](https://www.wearedevelopers.com/@onur-kasimlar)

Onur Kasimlar, Lead Cloud Engineer at Posedio GmbH


## Related talks at this congress

- [Revolutionizing Software Processes with AI: A Masterclass for the Future](https://www.wearedevelopers.com/events/world-congress-2025/sessions/457-revolutionizing) — Patrick Schnell
- [New AI-Centric SDLC: Rethinking Software Development with Knowledge Graphs](https://www.wearedevelopers.com/events/world-congress-2025/sessions/901-new-ai-centric-sdlc) — Gregor Schumacher, Marcel Gocke, Sujay Joshy
- [Leapter: The Reinvention of Software Development? A Future Built On AI Generated Code.](https://www.wearedevelopers.com/events/world-congress-2025/sessions/581-leapter-the) — Robert Werner
- [Getting to Know Your Legacy (System) with AI-Driven Software Archeology](https://www.wearedevelopers.com/events/world-congress-2025/sessions/629-getting-to-know-your) — Markus Harrer