|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 软件工程论坛 』 (http://bbs.xml.org.cn/list.asp?boardid=48) ---- 弱弱的问一下，什么是model checking (http://bbs.xml.org.cn/dispbbs.asp?boardid=48&rootid=&id=56347) |
|
-- 作者：cqyanbo -- 发布时间：12/4/2007 11:22:00 AM -- 弱弱的问一下，什么是model checking 有劳各位了！很急啊！ |
|
-- 作者：wcdxyl -- 发布时间：12/18/2007 10:15:00 AM -- 模型检验（Model Checking）, 具体做法是采用一种形式语言描述系统的规范说明，构造一种算法来遍历根据系统规格说明设计的实现模型，确认实现模型是否满足系统的规范说明。 |
|
-- 作者：月光 -- 发布时间：10/18/2010 9:32:00 PM -- 解释的听恰当。 |
|
-- 作者：bailong3301 -- 发布时间：8/1/2011 5:08:00 PM -- 据我所知，模型检验是把待检验的程序建模成一个状态转换系统P，待验证的安全属性建模为有限状态机F，然后检查P能够达到的任何一个状态是否是安全属性F的非~F的接受状态，如果P能到达这样一个状态，则说P违反了安全属性F；否则，说P遵守了安全属性F。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |