Deeper Bound in BMC by Combining Constant Propagation and Abstraction.

Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar

Browse the full ASPDAC paper archive.