Proof certificates for SMT-based model checkers for infinite-state systems | IEEE Conference Publication | IEEE Xplore