An Integration of Model Checking with Automated Proof Checking.

S. Rajan, Natarajan Shankar, Mandayam K. Srivas

Browse the full CAV paper archive.