Real-Time Model Checking for Regulatory Compliance

2013 ◽  
pp. 70-77 ◽  
Author(s):  
Shin-ya Nishizaki ◽  
Takuya Ohata
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Regulatory Compliance ◽  
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