Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems

2005 ◽  
pp. 190-206 ◽  
Author(s):  
Katia Hristova ◽  
Yanhong A. Liu
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Linear Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking ◽  
Improved Algorithm

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments

2016 ◽  
pp. 389-405 ◽  
Author(s):  
Laura Bozzelli ◽  
Alberto Molinari ◽  
Angelo Montanari ◽  
Adriano Peron ◽  
Pietro Sala
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Interval Temporal Logic ◽  
Logic Model Checking

UTP and Temporal Logic Model Checking

2010 ◽  
pp. 22-41 ◽  
Author(s):  
Hugh Anderson ◽  
Gabriel Ciobanu ◽  
Leo Freitas
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking

Symmetry in temporal logic model checking

2006 ◽  
Vol 38 (3) ◽  
pp. 8 ◽  
Author(s):  
Alice Miller ◽  
Alastair Donaldson ◽  
Muffy Calder
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking

Temporal Logic Model Checking

2005 ◽  
pp. 539-558 ◽  
Author(s):  
Edmund Clarke ◽  
Ansgar Fehnker ◽  
Sumit Kumar Jha ◽  
Helmut Veith
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Logic Model ◽  
Logic Model Checking
Sign in / Sign up

Export Citation Format

Share Document