IT-Nachwuchs: Passauer Team holt Gesamtsieg bei internationalem Verifikationswettbewerb
Gesamtsieg plus zwei Einzelsiege – so lautet die Erfolgsbilanz, mit der die Verifikationsforscher der Universität Passau von der International Competition on Software Verification zurückgekommen sind. Darüber hinaus erreichten
Arbeiten ohne Absturz
Eine internationale Tagung in Passau präsentiert die aktuelle Forschung an Methoden, wie Computerprogramme sicher und fehlerfrei programmiert werden können. Regelmäßig speichern! Für Computernutzer ist das immer noch