Certifying Hardware Model Checking Results. - Zhengqi Yu; Armin Biere; Keijo Heljanko (ICFEM, 2019)