Enumerative Parallel and Distributed State Space Construction

Model Checking requires high end computers to verify complex systems. Consequently, it is interesting to use a multi-processors architectures in order to have more computational resources available to deal with bigger models. This work presents a survey of parallel and distributed state space construction for Model Checking purpose.

[1]  Hesham El-Rewini,et al.  Advanced Computer Architecture and Parallel Processing (Wiley Series on Parallel and Distributed Computing) , 2005 .

[2]  Howard Barringer,et al.  Effective State Exploration for Model Checking on a Shared Memory Architecture , 2002, PDMC@CONCUR.

[3]  Yu Yang,et al.  Parallel and distributed model checking in Eddy , 2006, International Journal on Software Tools for Technology Transfer.

[4]  Dalton Serey Guerrero,et al.  A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[5]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[6]  Boudewijn R. Haverkort,et al.  On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[7]  Graham Horton,et al.  State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[8]  David M. Nicol,et al.  Distributed State Space Generation of Discrete-State Stochastic Models , 1995, INFORMS J. Comput..

[9]  Hesham El-Rewini,et al.  Advanced Computer Architecture and Parallel Processing , 2005 .

[10]  Gilles Villard,et al.  Regular versus Irregular Problems and Algorithms , 1995, IRREGULAR.

[11]  Dana Petcu,et al.  Parallel explicit state reachability analysis and state space construction , 2003, Second International Symposium on Parallel and Distributed Computing, 2003. Proceedings..

[12]  Simona Orzan,et al.  A State Space Distribution Policy Based on Abstract Interpretation , 2005, PDMC.

[13]  Jonathan Ezekiel,et al.  Measuring and Evaluating Parallel State-Space Exploration Algorithms , 2008, PDMC@CAV.

[14]  Radu Mateescu,et al.  Parallel state space construction for model-checking , 2001, SPIN '01.