ACL2SIX: A hint used to integrate a theorem prover and an automated verification toolJun SawadaErik Reeber2006FMCAD 2006
