Introducing Certificates to the Hardware Model Checking Competition.

Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko

Browse the full CAV paper archive.