Finding Small Stubborn Sets Automatically

Abstract

State space generation is often needed in the analysis of concurrent and distributed systems. The stubborn set method is one of the techniques that try to alleviate the state space explosion encountered in state space generation. An algorithm for nding a stubborn set having as few enabled transitions as possible is presented. Practicality of the algorithm is motivated with the aid of examples.

Cite this paper

@inproceedings{Varpaaniemi2007FindingSS, title={Finding Small Stubborn Sets Automatically}, author={Kimmo Varpaaniemi}, year={2007} }