Approach of model checking based on management for fixed memory and state
基于固定内存和状态管理的模型检测方法

The model checking is one of main formal methods. Its main disadvantage is that there is the problem of state explosion and insufficient memory. Though many researchers have done a amount of work, the problem has not been settled well yet. The paper, based on the investigation of the management for fixed memory and state, presents a new approach of model checking, which makes us to finish model checking of any scale system on any computer.