The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction

Thomas Neele, Antti Valmari, Tim A. C. Willemse

In model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many…