基于固定内存和状态管理的模型检测方法

摘要

Based on the investigation of the management for fixed memory and state, the paper presented a new approach of model checking, which made us to finish model checking of any scale system on any computer.%在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测.