Progress in Certifying Hardware Model Checking Results.

Emily Yu, Armin Biere, Keijo Heljanko

Browse the full CAV paper archive.