Static Partial Order Reduction.

Robert P. Kurshan, Vladimir Levin, Marius Minea, Doron A. Peled, Hsn Yenign

Browse the full TACAS paper archive.