Certifying Hardware Model Checking Results.

Zhengqi Yu, Armin Biere, Keijo Heljanko

Browse the full ICFEM paper archive.