Revisiting Stateful Partial-Order Reduction.

Frdric Herbreteau, Grald Point, Gautham Viswanathan, Igor Walukiewicz

Browse the full TACAS paper archive.