基于模型检测的策略冲突检测方法 (2013年)

【文件属性】：

文件名称：基于模型检测的策略冲突检测方法 (2013年)

文件大小：504KB

文件格式：PDF

更新时间：2024-05-28 14:35:49

自然科学 论文

提出一种基于模型校验的策略冲突检测新方法。首先通过形式化描述语言进行系统建模,采用时态逻辑表征策略冲突的系统属性,然后利用NuSMV模型检测器验证属性的可满足性,并根据模型检测器产生的反例轨迹追溯策略冲突点。该方法可提高策略冲突检测的效率。