Die formale Verifikation bleibt der Weg.