|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 研究model checking的请进 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=22242) |
|
-- 作者：injuredwolf -- 发布时间：9/15/2005 8:23:00 PM -- 研究model checking的请进 本人对model checking的学习一年左右,想要向各位交流心得,请高手指教. QQ:19552978 |
|
-- 作者：liyong -- 发布时间：12/15/2005 10:01:00 AM -- 我最近也在搞model checking ，请大哥给小弟弟一点提示！！！我已经加了你为好友，我的qq 是：8138245 |
|
-- 作者：sizilove -- 发布时间：12/21/2005 9:14:00 PM -- 我也刚刚开始研究model checking ,现在正在弄MWB，希望能得到高手指点！ QQ：35382751 MSN：lijin_mvp@hotmail.com |
|
-- 作者：gaohj1000 -- 发布时间：6/14/2006 10:15:00 AM -- 我也搞了1年过的model checking，大家有兴趣一起来讨论？ 我的QQ: 58662339 |
|
-- 作者：bunana -- 发布时间：6/18/2006 1:13:00 AM -- model checking,我也有意啊! model checking 我也意往这方向,不过以前没接触过,挺难上手的,看了一本书.也不是很清楚,很想找几个人交流一下! QQ80222094 |
|
-- 作者：naturelle -- 发布时间：6/28/2006 12:47:00 PM -- 先看这本书 Model Checking by Clarke et al. http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3730 |
|
-- 作者：asdokok -- 发布时间：8/14/2006 3:42:00 PM -- 各位搞过Software model checking没有？原来研究model checking,但发现对协议、Spin等兴趣不大，后发现软件模型检测，研究至今。
|
|
-- 作者：chex -- 发布时间：10/7/2006 2:13:00 PM -- Edmund M. Clarke可是Logic方面的牛人啊，想到当年他还没出名的时候…… |
|
-- 作者：liwup -- 发布时间：5/10/2007 9:01:00 PM -- 哪里能下载到这本书啊？ |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |