Slide 1 1 A Tutorial on Parallel and Distributed Model Checking Orna Grumberg Computer Science Department Technion, Israel Slide 2 2 Aspects of parallelism Why to parallelize…