Distributed model-checking and counterexample search for CTL logic

2012 ◽  
Vol 3 (1/2) ◽  
pp. 44 ◽  
Author(s):  
Mohand Cherif Boukala ◽  
Laure Petrucci
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking

Parallel and Distributed Model Checking in Eddy

2006 ◽  
pp. 108-125 ◽  
Author(s):  
Igor Melatti ◽  
Robert Palmer ◽  
Geoffrey Sawaya ◽  
Yu Yang ◽  
Robert Mike Kirby ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking

Parallel and distributed model checking in Eddy

2008 ◽  
Vol 11 (1) ◽  
pp. 13-25 ◽  
Author(s):  
I. Melatti ◽  
R. Palmer ◽  
G. Sawaya ◽  
Y. Yang ◽  
R. M. Kirby ◽  
...  
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking
Sign in / Sign up

Export Citation Format

Share Document