Proof certificates for SMT-based model checkers for infinite-state systems.

Alain Mebsout, Cesare Tinelli

Browse the full FMCAD paper archive.