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.

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 · 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

1:22 min

Overcoming initial skepticism of AI code generation

Jeff Blankenburg Jeff Blankenburg · World Congress 2026 Europe

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 · World Congress 2026 Europe

1:55 min

Verifying the quality of rapidly generated AI code

Krzysztof Cieślak Krzysztof Cieślak · World Congress 2026 Europe

More from World Congress 2025

GenAI Security: Navigating the Unseen Iceberg thumbnail
24:33
11 months ago

GenAI Security: Navigating the Unseen Iceberg

Maish Saidel-Keesing

Behind the Code: How Women Are Powering the Future of AI thumbnail
30:28
about 1 year ago

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
28:12
about 1 year ago

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
28:19
about 1 year ago

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
28:09
about 1 year ago

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
29:13
about 1 year ago

AI Sovereignty: What Does It Take?

Boris Hecker, Clemens Wasner, Robin Hermann, Sonja Alvarez

Related videos

When testing just doesn’t cut it thumbnail
27:54
World Congress 2023 • about 3 years ago

When testing just doesn’t cut it

Lars Hupel

How will artificial intelligence change the future of software testing? thumbnail
45:24
LIVE • almost 6 years ago

How will artificial intelligence change the future of software testing?

Evelyn Haslinger

The LLM Evolution: From Sequence Imitation to Verifiable Reasoning thumbnail
27:27
World Congress 2026 Europe • 3 months 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
25:14
World Congress 2024 • about 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
30:46
Europe 2026 Virtual • 3 months ago

AI as a Test Designer: Transforming Experience into Automated Testing

Alisa Hrustic

Back to the Roots: Testing in the Age of AI thumbnail
29:50
World Congress 2026 Europe • 3 months ago

Back to the Roots: Testing in the Age of AI

Jakub Janczyk

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.