Verifying Parallel Programs

State Space Explosion