@Inproceedings{EPTCS105.5, author = {Matsubara, Masahiro and Sakurai, Kohei and Narisawa, Fumio and Enshoiwa, Masushi and Yamane, Yoshio and Yamanaka, Hisamitsu}, year = {2012}, title = {Model Checking with Program Slicing Based on Variable Dependence Graphs}, editor = {\"Olveczky, Peter Csaba and Artho, Cyrille}, booktitle = {{\rm Proceedings First International Workshop on} Formal Techniques for Safety-Critical Systems, {\rm Kyoto, Japan, November 12, 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {105}, publisher = {Open Publishing Association}, pages = {56-68}, doi = {10.4204/EPTCS.105.5}, }