机译:基于可能性测度的计算树逻辑模型检查
College of Computer Science, Shaanxi Normal University, Xi'an, 710062, China;
College of Computer Science, Shaanxi Normal University, Xi'an, 710062, China;
College of Computer Science, Shaanxi Normal University, Xi'an, 710062, China;
Computation tree logic; Possibilistic Kripke structure; Possibility measure; Qualitative property; Quantitative property;
机译:基于多价措施的计算树逻辑模型检查
机译:基于广义可能性测度的定量计算树逻辑模型检查
机译:在统一建模语言伪像中集成计算树逻辑模型检查的方法论:嵌入式控制器的案例研究
机译:使用动态模型生成和计算树逻辑规范的操作系统过程资源图中死锁检测的模型检查方法
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:基于动作的模型检查:逻辑自动机和减少
机译:基于广义可能性度量的定量计算树逻辑模型检验