基本信息
文件名称：多核并行形式化验证.pdf
文件大小：5.47 MB
总页数：25 页
更新时间：2025-11-10
总字数：约1.63万字
文档摘要
多核并行形式化验证
1§1B
WUlflJJtiti
第一部分多核并行脸证的必要性与挑战2
第二部分并行形式化模型的抽象方法4
第三部分多核并行执行语的建模6
第四部分形式化验证中的多核分解策略10
第五部分多核模型约化与等价性检查II
第六部分基于抽象的并行性挖掘15
第七部分形式化验证中的多核可伸缩性17
第八部