scholarly journals Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking

2006 ◽  
Author(s):  
Hyoung Seok Hong ◽  
Insup Lee ◽  
O. Sokolsky
Keyword(s):  
Model Checking ◽  
Abstract Interpretation ◽  
Program Slicing ◽  
New Approach

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

2015 ◽  
pp. 49-66 ◽  
Author(s):  
Daniel Dietsch ◽  
Matthias Heizmann ◽  
Vincent Langenfeld ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
New Approach ◽  
Software Model

scholarly journals HASL: A new approach for performance evaluation and model checking from concepts to experimentation

2015 ◽  
Vol 90 ◽  
pp. 53-77 ◽  
Author(s):  
Paolo Ballarini ◽  
Benoît Barbot ◽  
Marie Duflot ◽  
Serge Haddad ◽  
Nihal Pekergin
Keyword(s):  
Performance Evaluation ◽  
Model Checking ◽  
New Approach

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
Sign in / Sign up

Export Citation Format

Share Document