A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract).

Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron A. Peled

Browse the full CAV paper archive.