模块检验相关硕士博士期刊学术论文 - 信丰网

模块检验相关论文

并发反应式系统的组合模型检验与组合精化检验

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和......

期刊

模型检验精化检验组合模型检验组合精化检验状态爆炸问题模块检验 model checking refinement checking composi

看过本文同时还关注