Po-Chun Chien

Neue Methoden verbessern die Effizienz der Softwareverifikation mit Hilfe von zusätzlichen Invarianten.

Lern, warum die Überprüfung von Software entscheidend für Zuverlässigkeit und Vertrauen der Nutzer ist.