scholarly journals Peer Review #1 of "Exact acceleration of complex real-time model checking based on overlapping cycle (v0.2)"

2020 ◽  
Author(s):  
U Fahrenberg
Keyword(s):  
Model Checking ◽  
Peer Review ◽  
Real Time ◽  
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