@Fiktiv - ja. Man kanns zwar mit recht großer Bandbreite schätzen, aber richtig verifizieren kann mans nur mit formaler Spezifikation/Verifikation (auch wenn die Software schon ewig im Einsatz ist, hat sie u.U. noch Fehler)