Counterexample-Preserving Reduction for Symbolic Model Checking

Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao. Counterexample-Preserving Reduction for Symbolic Model Checking. J. Applied Mathematics, 2014, 2014. [doi]

Abstract

Abstract is missing.