World Congress 2025 • Aug 20, 2025 • Session details

AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods

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.

Pause

Mute

Enter Fullscreen

#1 about 3 min

Raising awareness for software verification

How the rise of AI-generated code necessitates stronger validation methods than traditional software testing provides.

#2 about 3 min

Comparing software testing and software verification

The fundamental differences between detecting errors through execution and mathematically proving comprehensive code correctness.

#3 about 2 min

Fundamentals of Hoare logic

An introduction to Hoare logic using variables like preconditions, executable code steps, and postconditions.

#4 about 3 min

Applying Hoare logic axioms

How assignment, composition, and conditional axioms simplify complex software verification problems into solvable logical clauses.

#5 about 1 min

Backward reasoning in formal proofs

Working backward from desired postconditions to establish the required preconditions for verifying sequential programmatic statements.

#6 about 1 min

State of the art in software verification

How modern engineering teams apply formal methods, SMT solvers, and theorem provers to validate critical systems.

#7 about 5 min

Verifying Java code with OpenJML

A practical demonstration of annotating a Java binary search algorithm with OpenJML requirements and expected postconditions.

#8 about 3 min

Leveraging AI for code validation

Using generative AI tools like Gemini to automatically create verification annotations while monitoring constraints and false assumptions.

Matching moments

1:56 min

Managing AI speed and the rise of verification debt

Werner Vogels

Werner Vogels +1 · WWC Europe 2026

1:51 min

Bridging the gap between AI code generation and verification

Christian Heilmann

Christian Heilmann +3 · WWC Europe 2026

1:22 min

Overcoming initial skepticism of AI code generation

Jeff Blankenburg

Jeff Blankenburg · WWC Europe 2026

3:01 min

Balancing artificial intelligence tools with foundational software engineering skills

Tim Ruscica · Coffee With Developers

2:12 min

The evolving role of software testing in AI development

Jakub Janczyk

Jakub Janczyk · WWC Europe 2026

1:55 min

Verifying the quality of rapidly generated AI code

Krzysztof Cieślak

Krzysztof Cieślak · WWC Europe 2026

More from World Congress 2025

GenAI Security: Navigating the Unseen Iceberg thumbnail

GenAI Security: Navigating the Unseen Iceberg

Maish Saidel-Keesing

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

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

Alexandra Wudel, Laura Moritz, Madalina Florean

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

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

Justus Lumpe, Konstantin Vinogradov, Nils Eiteneyer, Stephan Wirris

AI in Leadership: How Technology is Reshaping Executive Roles thumbnail

AI in Leadership: How Technology is Reshaping Executive Roles

Bernd Datler, Jasmin Kaiser, Jeff Hausmann, Sonja Alvarez

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

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

Alex Laubscher, Jan Oberhauser, Keno Dreßel, Mirko Novakovic

AI Sovereignty: What Does It Take? thumbnail

AI Sovereignty: What Does It Take?

Boris Hecker, Clemens Wasner, Robin Hermann, Sonja Alvarez

Upcoming sessions on this topic

World Congress 2026 North America

Reinventing Testing Practices in the AI Era

Eric Deandrea

Java Champion & Senior Principal Software Engineer, IBM

Eric Deandrea

World Congress 2026 North America

Who Tests the AI? Building Trustworthy AI Systems at Enterprise Scale

Him Raj Singh

PayPal, Manager, Software Engineer

Him Raj Singh

World Congress 2026 North America

The Broken Rung: How AI is Rebuilding Software Development from the Ground Up

Tomislav Tipurić

Chief Technology Officer, Nephos

Tomislav Tipurić

World Congress 2026 North America

There's no dark factory without better software verifiers

Dexter Horthy

Co-Founder, HumanLayer

Dexter Horthy

World Congress 2026 North America

When Humans Stop Writing Code: Rethinking Languages, Compilers, and Responsibility

Simon Auer

Organizer of flutter vienna meetup and CEO of marqably

Simon Auer

World Congress 2026 North America

AI That Argues With Itself: Building Self-Debating Systems That Catch Their Own Bugs

Shreya Singhal

AI Applied Scientist at Claritev

Shreya Singhal

Related videos

When testing just doesn’t cut it thumbnail

WWC 2023 • almost 3 years ago

When testing just doesn’t cut it

Lars Hupel

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

LIVE • over 5 years ago

How will artificial intelligence change the future of software testing?

Evelyn Haslinger

The LLM Evolution: From Sequence Imitation to Verifiable Reasoning thumbnail

WWC Europe 2026 • about 1 month ago

The LLM Evolution: From Sequence Imitation to Verifiable Reasoning

Kamen Petroff

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

WWC 2024 • almost 2 years ago

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

Jonas Andrulis

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

Europe 2026 Virtual • about 1 month ago

AI as a Test Designer: Transforming Experience into Automated Testing

Alisa Hrustic

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

WWC Europe 2026 • about 1 month ago

Back to the Roots: Testing in the Age of AI

Jakub Janczyk

Related articles

BB

Benedikt Bischof

MLOps And AI Driven Development

Welcome to this issue of the WeAreDevelopers Dev Talk Recap series. This article recaps an interesting talk by Natalie Pistunovic who spoke about the development of AI and MLOps. What you will lear...

over 4 years ago

MLOps And AI Driven Development

CH

Chris Heilmann

Transforming Software Development: The Role of AI and Developer Tools

In today's fast-paced tech landscape, AI has begun to play an increasingly significant role, reshaping the way developers create software. As we delve into this transformation, we uncover both oppo...

over 1 year ago

Transforming Software Development: The Role of AI and Developer Tools

DC

Daniel Cranney

How to Use Generative AI to Accelerate Learning to Code

It’s undeniable that generative-AI and LLMs have transformed how developers work. Hours of hunting Stack Overflow can be avoided by asking your AI-code assistant, multi-file context can be fed to t...

over 1 year ago

How to Use Generative AI to Accelerate Learning to Code

DC

Daniel Cranney

What is Software Engineering in the Age of AI?

Every few years, developers are told their jobs are about to become obsolete. Early programmers, often working in Assembly or machine code, were told that the rise of high-level languages like C wo...

10 months ago

An engineer with puppet strings attached

From learning to earning

Jobs that call for the skills explored in this talk.

15 days ago • Verified

AI Software Engineer (Germany)

Berlin, Germany

Expert €70k–100k Remote REST TypeScript AI Frameworks

about 2 months ago • Verified

Senior AI Agent Software Engineer (Go, Python) (m/f/x)

Vienna, Austria

Experienced €61k–76k Remote Go Python AI Frameworks

about 2 months ago • Verified

AI Operations Manager (all genders)

Expert Remote Python AI Frameworks

Staff Developer Advocate, GitHub Security Lab

Experienced $121k–323k Remote Git Github Databases

Staff Software Engineer, Copilot Experiences

Remote Ruby Docker Sentry

Principal Software Engineer, Enterprise AI Platform

Expert Remote Ruby Golang Github