Unfolding-based Partial Order Reduction.

Csar Rodrguez, Marcelo Sousa, Subodh Sharma, Daniel Kroening

Browse the full CONCUR paper archive.