ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool.

Jun Sawada, Erik Reeber

Browse the full FMCAD paper archive.