模型检测原理、方法学习
模型检测学习一、模型检测概论1.1 模型检测所解决的问题:保证并发系统正确性和可靠性1.2 特点:自动化程度高、简洁明了1.3 发展:用于描述并发系统性质的CTL逻辑 符号模型检测技术1.4 基本思想:用状态迁移系统(S)表示系统的行为,用模态/时序逻辑公式(F)描述系统的性质,这样“系统是否具有所期望的性质”就转化为数学问题“状态迁移系统 S 是否是时序逻辑公式 F 的一个模型?”,这个问题是可判定的,即可以用计算机程序在有限时间内自动确定。1.5模型检测过程(1)建模:第一个步
原创
2020-11-01 16:23:18 ·
12662 阅读 ·
7 评论