Title: Finding Small Stubborn Sets Automatically

Appears in: Atalay, V., Halici, U., Inan, K., Yalabik, N., and Yazici, A. (Eds.), Proceedings of the 11th International Symposium on Computer and Information Sciences, Antalya, Turkey, November 1996, Vol. I. Middle East Technical University, Ankara 1996, ISBN 975-429-103-9.

Pages: 133-142

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 finding a stubborn set having as few enabled transitions as possible is presented. Practicality of the algorithm is motivated with the aid of examples.

Keywords: verification of concurrent and distributed systems, state space generation, stubborn sets