模型检测|世界热点评
(相关资料图)
1、 模型检测(model checking)，是一种自动验证技术，由Clarke和Emerson以及Quelle和Sifakis提出。
2、主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。
标签：
搜索
搜索
(相关资料图)
1、 模型检测(model checking)，是一种自动验证技术，由Clarke和Emerson以及Quelle和Sifakis提出。
2、主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。
标签：
