Welcome to our iSAQB®-Blog

Blog

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
  • Redaktion: madlenschenk
  • 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!