Institut für Informatik
print


Navigationspfad


Inhaltsbereich

Test-of-Time Award

Prof. Beyer hat den den Test-of-Time Award bei der ETAPS 2023 erhalten.

27.04.2023

Prof. Dr. Dirk Beyer hat bei der ETAPS 2023 (European joint conferences on theory and practice of software) den Test-of-Time Award für seine Arbeit "Explicit-State Software Model Checking Based on CEGAR and Interpolation" mit Stefan Löwe aus dem Jahr 2013 erhalten. Der jährlich vergebene Preis würdigt hervorragende und einflussreiche Arbeiten, die bei der ETAPS jeweils 10 Jahre zuvor veröffentlicht wurden.