CPV: A Circuit-Based Program Verifier.

Po-Chun Chien, Nian-Ze Lee

Browse the full TACAS paper archive.