Model Checking with Program Slicing Based on Variable Dependence Graphs - Masahiro Matsubara; Kohei Sakurai; Fumio Narisawa; Masushi Enshoiwa; Yoshio Yamane; Hisamitsu Yamanaka (FTSCS, 2012)