Counterexample-Preserving Reduction for Symbolic Model Checking.

Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao

Browse the full ICTAC paper archive.