Partial-Order Reduction in Symbolic State Space Exploration.

Rajeev Alur, Robert K. Brayton, Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani

Browse the full CAV paper archive.