并行模型检测相关硕士博士期刊学术论文 - 搜论网

并行模型检测相关论文

并行软件模型检测

并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测，提出一种软件模型检测并行化的方法。该方法利......

期刊

并行模型检测软件模型检测标号迁移系统模块化验证 parallel model checking software model checking Label

并行完备模型检测技术的研究

模型检测技术是一种可以实现对系统性质进行自动检测的技术，该技术自从被提出来之后，得到了广泛的关注，越来越多的模型检测算法和技术......

学位

完备模型检测并行模型检测 DFS SPIN

看过本文同时还关注