Iterative abstraction using SAT-based BMC with proof analysis | IEEE Conference Publication | IEEE Xplore