Software Verification in the Age of AI: Why Developers Need More Competence, Not Less

Recap of the Opening Keynote by Bertrand Meyer at Swiss Testing Day 2026(DE Version below)