Save the date:

01.01.2026 Berlin

Blog

Software Architecture Forum

16. April 2026

Lars Hupel

Lars Hupel

Chief Evangelist at G+D, iSAQB-Kurator für FM

Software ohne Fehler? Nur mit formalen Methoden – Interview mit Lars Hupel, Kurator des CPSA® Advanced Level Moduls „Formale Methoden“
Warum Tests allein nicht ausreichen und wie formale Methoden helfen, Software wirklich korrekt und verlässlich zu machen.