机译:基于广义可能性测度的定量计算树逻辑模型检查
College of Computer Science, Shaanxi Normal University, Xi’an, China;
Generalized possibilistic computation tree logic (GPoCTL); Model checking; generalized possibilistic Kripke structure; generalized possibilistic Kripke structure (GPKS); generalized possibilistic computation tree logic; model checking; possibility theory; quantitative property;
机译:基于多价措施的计算树逻辑模型检查
机译:基于可能性测度的计算树逻辑模型检查
机译:基于广义可能性测度的线性时间属性定量模型检验
机译:使用动态模型生成和计算树逻辑规范的操作系统过程资源图中死锁检测的模型检查方法
机译:用于计数数据的广义线性空间模型的贝叶斯模型检查。
机译:基于动作的模型检查:逻辑自动机和减少
机译:基于广义可能性度量的定量计算树逻辑模型检验