Formale Methoden die bessere Alternative zu Testing mit Michael Sperber

Testen ist super, aber eins kann es nicht: Die Korrektheit unserer Software sicherstellen. Was ist aber, wenn Köpfe rollen bei Fehlern? Wenn unsere Software Flugzeuge kontrolliert, Equipment im Operationssaal oder große Umsätze? Wenn auch Tausende von Tests uns nicht ruhig schlafen lassen? Dann ist Zeit für den Einsatz von formalen Methoden - die mathematisch beweisen können, das unsere Software das tut, was sie soll. Wir reden darüber, was formale Methoden können, wo man sie einsetzt und was es dafür braucht.

Dr. Michael Sperber ist Geschäftsführer der Active Group GmbH. Er ist international anerkannter Experte für funktionale Programmierung und hat zahlreiche Fachartikel und Bücher zum Thema verfasst. Michael Sperber ist Mitbegründer des Blogs funktionale-programmierung.de und Mitorganisator der Entwicklerkonferenz BOB.

Link zur BOB: https://bobkonf.de/2026/
Michaels Blog: https://funktionale-programmierung.de/