Hardware Model Checking Certification with Certifaiger and Cerbtora.

Nils Froleyks, Emily Yu

Browse the full IJCAR paper archive.