model checking

使用模型检测技术来进行系统设计的验证包含三个步骤： 建模：第一步需要将设计转化为能被模型检测器接受的 阅读更多…