WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2025 • Aug 20, 2025 • Session details

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods

Onur Kasimlar

Can mathematical proofs replace unit tests? AI makes it possible. Learn how Hoare logic and generative models shift your role from writing tests to validating mathematical certainty.

Starting at 0:22 · Watch from the beginning

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

Checking access…

Playback and chapters load privately for Free videos.

Matching moments

3:34 min

Lowering the cost of formal software verification methods

Manfred Moser Manfred Moser +2 · World Congress 2026 North America

1:56 min

Managing AI speed and the rise of verification debt

Werner Vogels Werner Vogels +1 · World Congress 2026 Europe

1:51 min

Bridging the gap between AI code generation and verification

Christian Heilmann Christian Heilmann +3 · World Congress 2026 Europe

3:35 min

Current state of AI coding and software factories

Dexter Horthy Dexter Horthy · World Congress 2026 North America

1:13 min

Balancing coding fundamentals with AI-assisted software development

Tomislav Tipurić Tomislav Tipurić +1 · World Congress 2026 North America

1:22 min

Overcoming initial skepticism of AI code generation

Jeff Blankenburg Jeff Blankenburg · World Congress 2026 Europe

More from World Congress 2025

GenAI Security: Navigating the Unseen Iceberg thumbnail
24:33

GenAI Security: Navigating the Unseen Iceberg

Maish Saidel-Keesing · AWS

Behind the Code: How Women Are Powering the Future of AI thumbnail
30:28

Behind the Code: How Women Are Powering the Future of AI

Alexandra Wudel +2

The AI Hype Filter: What’s Real, What’s Investable, What’s Noise? thumbnail
28:12

The AI Hype Filter: What’s Real, What’s Investable, What’s Noise?

Justus Lumpe +3

AI in Leadership: How Technology is Reshaping Executive Roles thumbnail
28:19

AI in Leadership: How Technology is Reshaping Executive Roles

Bernd Datler +3

The AI-Ready Stack: Rethinking the Engineering Org of the Future thumbnail
28:09

The AI-Ready Stack: Rethinking the Engineering Org of the Future

Alex Laubscher +3

AI Sovereignty: What Does It Take? thumbnail
29:13

AI Sovereignty: What Does It Take?

Boris Hecker +3

Upcoming sessions on this topic

Open session

Your AI Wrote the Code. Who Vouches for It?

  • Siddharth Joshi

    GitHub

    Senior Customer Success Architect

Open session

Engineering AI Strategy: Beyond the Hype

  • Omkar Srivastava

    ADSK

    Engineering Leader

Open session

The 200,000 line code repository: My AI wrote 1000 lines. I needed 100.

  • Hardik Gupta

    IBM

    Software Developer

Open session

The Illusion of Green: Why AI-Generated Browser Automation Tests Pass Locally but Fail in CI

  • Puja Jagani

    BrowserStack

    Lead of Open Source and Developer Advocacy

Open session

Beware of Strangers Bearing Code: Open Source Trust in the Agent Era

  • Vikram Vaswani

    Consultant

Open session

Beyond vibe coding: Mastering the AI-native SDLC from code to production

  • Amith Singhee

    IBM

    Director, IBM Research India and AI for Z, SIL; CTO, IBM India / South Asia

Related videos

When testing just doesn’t cut it thumbnail
27:54

When testing just doesn’t cut it

Lars Hupel

World Congress · 2023

How will artificial intelligence change the future of software testing? thumbnail
45:24

How will artificial intelligence change the future of software testing?

Evelyn Haslinger

LIVE · Dec 2020

The LLM Evolution: From Sequence Imitation to Verifiable Reasoning thumbnail
27:27

The LLM Evolution: From Sequence Imitation to Verifiable Reasoning

Kamen Petroff · ATOS

World Congress Europe · 2026

The shadows of reasoning – new design paradigms for a gen AI world thumbnail
25:14

The shadows of reasoning – new design paradigms for a gen AI world

Jonas Andrulis · Aleph Alpha

World Congress · 2024

AI as a Test Designer: Transforming Experience into Automated Testing thumbnail
30:46

AI as a Test Designer: Transforming Experience into Automated Testing

Alisa Hrustic · System Verification

Europe Virtual · 2026

Back to the Roots: Testing in the Age of AI thumbnail
29:50

Back to the Roots: Testing in the Age of AI

Jakub Janczyk · Help Scout

World Congress Europe · 2026

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.