论文研究-基于固定内存和状态管理的模型检测方法.pdf

【文件属性】：

文件名称：论文研究-基于固定内存和状态管理的模型检测方法.pdf

文件大小：390KB

文件格式：PDF

更新时间：2022-08-11 12:27:52

形式化方法,模型检测,状态空间爆炸,状态和内存管理

在研究固定内存和状态管理的基础上，提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。