可能性测度下的CTL符号化模型检测

摘要：

随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证.对可能性测度下CTL符号化模型检测进行了研究.首先用多终端二值决策图和布尔公式分别描述系统模型和待验证性质,然后再对系统模型进行归一化和简化,最后利用不动点计算完成系统验证.该研究是对可能性测度下的模型检测技术和符号化模型检测技术的整合,不但能处理系统的不确定信息,而且保持了符号化模型检测对计算时空要求低的优点,对于复杂系统模型检测具有重要意义.

关键词：符号模型检测、可能性测度、CTL、多终端二值决策图

所属期刊栏目：40

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金A011404

在线出版日期：2018-12-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2008-2014