|
以文本方式查看主题 - 中文XML论坛 - 专业的XML技术讨论区 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 有人从事模型检验方面的研究吗 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=66523) |
|
-- 作者：minijoe -- 发布时间：8/29/2008 12:15:00 AM -- 有人从事模型检验方面的研究吗 有人从事模型检验方面的研究吗（ verification,model checking）？本人最近在这个方面做研究但是苦于国内从事此项研究的比较少。故想来次咨询一下！有的话联系我：QQ:150778770 E-MAIL:water7@21cn.com 大家回帖我也会多多跟大家探讨的！谢谢！ |
|
-- 作者：jun12345 -- 发布时间：10/13/2008 12:07:00 AM -- 我也开始学model checking. 好难啊！正在看logic in computer science，中文版上网买了，正寄来。 难入门！你有什么书可以推荐，方便入门。 |
|
-- 作者：morning0070 -- 发布时间：10/31/2008 7:30:00 PM -- 有本书《model checking》 |
|
-- 作者：wjwenoch -- 发布时间：11/19/2008 11:09:00 AM -- model checking这么热门的话题居然没有人做。。。???那大家都在做什么。。 BTW MC有很经典的书籍，那本logic in computer science没有什么用 |
|
-- 作者：anarchist -- 发布时间：11/25/2008 3:14:00 PM -- 模型检测实际上就是在模型M的状态空间上进行搜索，试图找到一个状态满足使用逻辑规约描述的系统属性P。这个问题的关键是状态空间的简化问题。当前主流的方法是OBDD。在算法上似乎还是以穷举搜索为主。 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |