Enumerative Parallel And Distributed State Space Construction
Rodrigo T. Saad, Bernard Berthomieu, Silvano Dal Zilio, François B. Vernadat · HAL (Le Centre pour la Communication Scientifique Directe) · 2009
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.