Avoiding The State Explosion Problem in Temporal Logic Model Checking.

Edmund M. Clarke, Orna Grumberg

Browse the full PODC paper archive.