scholarly journals A clausal resolution method for branching-time logic ECTL

2004 ◽  
Author(s):  
A. Bolotov ◽  
A. Basukoski
Keyword(s):  
Branching Time ◽  
Resolution Method ◽  
Time Logic

scholarly journals A clausal resolution method for branching-time logic ECTL+

2006 ◽  
Vol 46 (3) ◽  
pp. 235-263 ◽  
Author(s):  
Alexander Bolotov ◽  
Artie Basukoski
Keyword(s):  
Branching Time ◽  
Resolution Method ◽  
Time Logic

scholarly journals Modalities for model checking: branching time logic strikes back

1987 ◽  
Vol 8 (3) ◽  
pp. 275-306 ◽  
Author(s):  
E. Allen Emerson ◽  
Chin-Laung Lei
Keyword(s):  
Model Checking ◽  
Branching Time ◽  
Time Logic

scholarly journals A Partial Order Approach to Branching Time Logic Model Checking

1999 ◽  
Vol 150 (2) ◽  
pp. 132-152 ◽  
Author(s):  
Rob Gerth ◽  
Ruurd Kuiper ◽  
Doron Peled ◽  
Wojciech Penczek
Keyword(s):  
Model Checking ◽  
Partial Order ◽  
Logic Model ◽  
Branching Time ◽  
Time Logic ◽  
Logic Model Checking

Branching-time logic programming: the language Cactus and its applications

1998 ◽  
Vol 24 (3) ◽  
pp. 155-178 ◽  
Author(s):  
P. Rondogiannis ◽  
M. Gergatsoulis ◽  
T. Panayiotopoulos
Keyword(s):  
Logic Programming ◽  
Branching Time ◽  
Time Logic
Sign in / Sign up

Export Citation Format

Share Document