Comparing Source Sets and Persistent Sets for Partial Order Reduction

@inproceedings{Abdulla2017ComparingSS,
  title={Comparing Source Sets and Persistent Sets for Partial Order Reduction},
  author={Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and Konstantinos Sagonas},
  booktitle={Models, Algorithms, Logics and Tools},
  year={2017}
}
Partial order reduction has traditionally been based on persistent sets, ample sets, stubborn sets, or variants thereof. Recently, we have presented a strengthening of this foundation, using source sets instead of persistent/ample/stubborn sets. Source sets subsume persistent sets and are often smaller than they are. We introduced source sets as a basis for… CONTINUE READING