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.

presentation at École d’été Temps-Reél (ETR’09)