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.