Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.

Zsfia dm, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Browse the full TACAS paper archive.