InnoTrans 2012: Wir beweisen, dass Ihre Software richtig reagiert
Datum:
20.–23. Sept. 2016
Ort:
Messegelände, Berlin
Die Forscher des Kompetenzzentrums QUEST zeigen vom 18.-21. September auf der InnoTrans 2012 in Berlin (Halle 4.1, Stand 225), wie sich mit deduktiven Verifikationsverfahren beweisen lässt, dass die Software von solchen sicherheitskritischen Systemen fehlerfrei funktioniert.