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

【文件属性】：
文件名称：论文研究-基于固定内存和状态管理的模型检测方法.pdf
文件大小：390KB
文件格式：PDF
更新时间：2022-08-11 12:27:52
形式化方法,模型检测,状态空间爆炸,状态和内存管理 在研究固定内存和状态管理的基础上，提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测。