CAV Distinguished Paper Award

Froleyks, Nils (Empfänger*in), Yu, Emily (Empfänger*in), Preiner, Mathias (Empfänger*in), Biere, Armin (Empfänger*in) & Heljanko, Keijo (Empfänger*in)

Institut für Formale Modelle und Verifikation

Auszeichnung: Preis, Auszeichnung oder Ehrung

Beschreibung

awarded for the Paper "Introducing Certificates to the Hardware Model Checking Competition"

Datum der Bewilligung	Juli 2025
Bekanntheitsgrad	International

Verliehen bei Veranstaltung

Ereignistitel	37th International Conference on Computer Aided Verification
Ort	Crystal Ballroom of the Westin Hotel, Zagreb, KroatienAuf Karte anzeigen
Zeitraum	21 Juli 2025 → 25 Juli 2025

Dokumente & Verweise

https://x.com/confCAV/status/1948285819036352964/photo/1

Verbundene Inhalte

Aktivitäten
Introducing Certificates to the Hardware Model Checking Competition
Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science

Publikationen
Introducing Certificates to the Hardware Model Checking Competition
Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung