Alle Software wird in Zukunft formal verifiziert sein. Wir sind noch früh dran.