CAV Distinguished Paper Award

Froleyks, Nils (Recipient), Yu, Emily (Recipient), Preiner, Mathias (Recipient), Biere, Armin (Recipient) & Heljanko, Keijo (Recipient)

Prize: Prize, award or honor

Description

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

Awarded date	Jul 2025
Degree of recognition	International

Event title	37th International Conference on Computer Aided Verification
Location	Crystal Ballroom of the Westin Hotel, Zagreb, CroatiaShow on map
Period	21 Jul 2025 → 25 Jul 2025