IibDMC: a Library to Operate Efficient Distributed Model Checking

2007 ◽  
Author(s):  
Alexandre Hamez ◽  
Fabrice Kordon ◽  
Yann Thierry-Mieg
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