模型检验

内容简介

模型检验是一种自动化的验证技术，本书涵盖：

• 时序逻辑
• 自动机理论
• 符号模型检验
• 偏序归约

适合读者

• 形式化方法研究者
• 硬件验证工程师
• 安全关键系统开发者