Compositional Analysis for Weak Stubborn Sets

@article{Hansen2011CompositionalAF,
  title={Compositional Analysis for Weak Stubborn Sets},
  author={Henri Hansen and Xu Wang},
  journal={2011 Eleventh International Conference on Application of Concurrency to System Design},
  year={2011},
  pages={36-43}
}
Partial order reduction methods rely on expanding a state space only partially, exploring representatives of sets of executions of a system. The methods differ at least in three respects:the set of properties that are preserved, the notions of interaction between transitions, and the methods of selecting the representative transitions. We explore an existing but less studied method of weak stubborn sets in the context of process-algebraic parallel composition. The theory of stubborn set methods… CONTINUE READING

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…