scholarly journals Real-Time Model Checking on Secondary Storage

2007 ◽  
pp. 67-83 ◽  
Author(s):  
Stefan Edelkamp ◽  
Shahid Jabbar
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Secondary Storage ◽  
Time Model

Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

2002 ◽  
pp. 100-114 ◽  
Author(s):  
Giridhar Pemmasani ◽  
C. R. Ramakrishnan ◽  
I. V. Ramakrishnan
Keyword(s):  
Model Checking ◽  
Logic Programming ◽  
Real Time ◽  
Time Model

scholarly journals On Expressiveness and Complexity in Real-Time Model Checking

2008 ◽  
pp. 124-135 ◽  
Author(s):  
Patricia Bouyer ◽  
Nicolas Markey ◽  
Joël Ouaknine ◽  
James Worrell
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Time Model
Sign in / Sign up

Export Citation Format

Share Document