模型检测原理、方法学习

模型检测学习 一、模型检测概论 1.1 模型检测所解决的问题：保证并发系统正确性和可靠性 1.2 特点：自动化程度高、简洁明了 1.3 发展：用于描述并发系统性质的CTL逻辑 符号模型检测技术 1.4 基本思想： 用状态迁移系统（S）表示系统的行为，用模态/时序逻辑公式（F）描述系统的性质,这样“系统是否具有所期望的性质”就转化为数学问题“状态迁移系统 S 是否是时序逻辑公式 F 的一个模型？”，

>>阅读原文<<