【技术实现步骤摘要】
本专利技术设及一种检测模型的优化方法，尤其是一种可能性测度计算树逻辑检测模 型的优化方法，属于模型检测
技术介绍
作为一种智能化、自动化的软硬件装置验证方法，模型检测具有诸多方面的优势， 例如具有较高的适用性、准确性与高效性等，正是由于其具有上述的优势，使其在软硬件集 成设计等诸多方面深受欢迎，并且获得有关研发单位的大力推广。 现阶段，大量相关专家对模式检测该一个课题展开探讨，取得了一系列进展， Kattenbelt等W在研究过程中阐明基于可能性测度计算树逻辑（PoCTLb-ti)的检测标记算 法，该一个算法可W非常准确的检测其有限状态并发系统是不是与可能性测度的计算树逻 辑公式规范相符，同时还描述了其符合程度，为进一步探讨并发系统的智能化检测原理奠 定了坚实的基础，但是化CTL标记算法仍然具有一定的不足之处，例如其具有相对较高的 时间复杂度，大规模进行使用的难度非常大；还有赵林等?在研究过程中，细致的探讨了 可能性测度的计算树逻辑公式的复杂性，但是其标记算法具有不足之处，例如验证效率不 高，同样无法得到普及推广；有国外学者Alur?在赵林...
【技术保护点】
一种可能性测度计算树逻辑检测模型的优化方法，其特征在于：所述方法采用I‑PM_CT模型检测算法实现，所述I‑PM_CTL模型检测算法的设计基于可能性测度的计算树逻辑模型检测标记算法，包括以下步骤：S1、利用相关可能性测度对逻辑树公式进行计算，预处理标识公共子表达式的唯一性；S2、在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态。
【技术特征摘要】
【专利技术属性】
技术研发人员：陈燕升，吴忠坤，
申请(专利权)人：广东轻工职业技术学院，
类型：发明
国别省市：广东;44
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。