TIME-EFFICIENT STATE-SPACE ANALYSIS IN SOFTWARE MODEL CHECKING

2013 ◽  
pp. 115-154
Keyword(s):  
Model Checking ◽  
State Space ◽  
Software Model Checking ◽  
Space Analysis ◽  
State Space Analysis ◽  
Software Model

State-space analysis of linear fractional-order systems

2008 ◽  
Vol 42 (6-8) ◽  
pp. 825-838 ◽  
Author(s):  
Saïd Guermah ◽  
Saïd Djennoune ◽  
Maâmar Bettayeb
Keyword(s):  
State Space ◽  
Fractional Order ◽  
Fractional Order Systems ◽  
Space Analysis ◽  
State Space Analysis

Verification of MPI Java programs using software model checking

2016 ◽  
Vol 51 (8) ◽  
pp. 1-2
Author(s):  
Waqas Ur Rehman ◽  
Muhammad Sohaib Ayub ◽  
Junaid Haroon Siddiqui
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
Software Model ◽  
Java Programs

scholarly journals Efficient software model checking of soundness of type systems

2008 ◽  
Vol 43 (10) ◽  
pp. 493-504 ◽  
Author(s):  
Michael Roberson ◽  
Melanie Harries ◽  
Paul T. Darga ◽  
Chandrasekhar Boyapati
Keyword(s):  
Model Checking ◽  
Type Systems ◽  
Software Model Checking ◽  
Software Model ◽  
Efficient Software
Sign in / Sign up

Export Citation Format

Share Document