decision diagrams; formal verification; model checking; state compression;
机译:基于二元决策图的状态空间生成框架用于分布式显式模型检查
机译:通过有序二进制决策图进行模型检查,自动验证多主体系统
机译:随机模型检查的反例生成中的定向显式状态空间搜索
机译:使用决策图紧凑地表示状态空间以进行显式模型检查
机译:高效的模型检查时序图。
机译:使用显式表示空间坐标的3D隐藏Markov模型来建模和比较蛋白质结构
机译:实时模型检查决策图的比较研究