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

Distributed Model Checking Using ProB

2018 ◽  
pp. 244-260 ◽  
Author(s):  
Philipp Körner ◽  
Jens Bendisposto
Keyword(s):  
Model Checking ◽  
Distributed Model ◽  
Distributed Model Checking

Sequential and distributed model checking of Petri nets

2004 ◽  
Vol 7 (1) ◽  
pp. 43-60 ◽  
Author(s):  
Alexander Bell ◽  
Boudewijn R. Haverkort
Keyword(s):  
Model Checking ◽  
Petri Nets ◽  
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

scholarly journals Sequential and Distributed Model Checking of Petri Net Specifications

2002 ◽  
Vol 68 (4) ◽  
pp. 539-558 ◽  
Author(s):  
Alexander Bell ◽  
Boudewijn R. Haverkort
Keyword(s):  
Model Checking ◽  
Petri Net ◽  
Distributed Model ◽  
Distributed Model Checking
Sign in / Sign up

Export Citation Format

Share Document