论文部分内容阅读
This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Krip-ke structures were used for partial state spaces model checking, which is a new technique to solve problems of stateexplosion. This paper extended th