Announcement_5

Created on July 23, 2025

2025

Our paper, “Introducing Certificates to the Hardware Model Checking Competition”, received the Distinguished Paper Award at CAV!