Old Web
English
Sign In
Acemap
>
Paper
>
Model Checking with Program Slicing Based on Variable Dependence Graphs
Model Checking with Program Slicing Based on Variable Dependence Graphs
2012
Masahiro Matsubara
Kohei Sakurai
Fumio Narisawa
Masushi Enshoiwa
Yoshio Yamane
Hisamitsu Yamanaka
Keywords:
Program slicing
Programming language
Model checking
Computer science
Graph
Correction
Cite
Save
Machine Reading By IdeaReader
12
References
0
Citations
NaN
KQI
[]