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