Quasi-Optimal Partial Order Reduction.

Huyen T. T. Nguyen, Csar Rodrguez, Marcelo Sousa, Camille Coti, Laure Petrucci

Browse the full CAV paper archive.