...
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences Beijing 100080, P.R. China;
model checking; static analysis; search space partitioning; spin; protocol verification;
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:结合搜索空间分区和抽象以进行LTL模型检查
机译:基于分区替代搜索空间遍历的基于仿真的新属性检查算法
机译:搜索空间划分和案例基础探索,减少模型检查的复杂度
机译:硬件描述语言程序切片和减少边界模型检查搜索开销的方法。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:分布式元组空间的安全性方面将静态分析与运行时检查相结合
机译:结合静态分析和模型检验进行软件分析