Welcome to our iSAQB®-Blog

Blog

Software Architecture Forum banner featuring an interview with Lars Hupel titled "Software without Bugs? Only with Formal Methods.

Software without Bugs? Only with Formal Methods

Interview with Lars Hupel, curator of the CPSA® Advanced Level module “Formal Methods”

  • veröffentlicht am April 16, 2026
  • 4 Minuten zum Lesen Minuten Lesezeit
  • Themen:

Why testing alone isn't enough, and how formal methods help make software truly correct and reliable.

Weiterlesen

Bleiben Sie informiert mit dem iSAQB®-Newsletter!