ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool | IEEE Conference Publication | IEEE Xplore