Heuristics for Checking Liveness Properties with Partial Order Reductions.

Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault

Browse the full ATVA paper archive.