scholarly journals Model Checking with Program Slicing Based on Variable Dependence Graphs

2012 ◽  
Vol 105 ◽  
pp. 56-68 ◽  
Author(s):  
Masahiro Matsubara ◽  
Kohei Sakurai ◽  
Fumio Narisawa ◽  
Masushi Enshoiwa ◽  
Yoshio Yamane ◽  
...  
Keyword(s):  
Model Checking ◽  
Program Slicing ◽  
Dependence Graphs

Static BPEL program slicing technique based on BPEL program dependence graphs

2013 ◽  
Vol 32 (8) ◽  
pp. 2338-2341
Author(s):  
Hong-da WANG ◽  
Jian-chun XING ◽  
Wei SONG ◽  
Qi-liang YANG
Keyword(s):  
Program Slicing ◽  
Dependence Graphs ◽  
Program Dependence

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking
Sign in / Sign up

Export Citation Format

Share Document