Doktorand der Informatik erhält internationale Auszeichnung
Sicherstellung der Korrektheit entsprechender Entwürfe. So sind zwar Methoden für die Verifikation reiner Hardware -Komponenten mittlerweile recht gut verstanden, die Betrachtung auf höherer Ebene mit I [...] Schaltungen. Dabei konnte er bereits erfolgreich formale Methoden, wie sie bisher ausschließlich für den reinen Hardware -Entwurf angewendet wurden, auf die komplexere Hardware/Software -Ebene heben. Entsprechende