|
以文本方式查看主题 - 计算机科学论坛 (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=16422) |
|
-- 作者：shimutou -- 发布时间：4/2/2005 11:46:00 AM -- 请教做model checking[求助] 请教做model checking的大侠们，最近在研究些什么尼。 感觉model checking自八十年代出现后，研究的主要问题就是如何解决 状态爆炸问题。请教最近又没有出现什么新的方法解决这么问题尼？ 据我所知model checking在硬件和通讯协议的验证上已近很成功了。 最近用来验证软件。请教关于软件的验证有没有什么好的文献？ 谢谢赐教 |
|
-- 作者：zhaoming -- 发布时间：4/22/2005 7:17:00 PM -- 在做automata,状态暴炸是做的人挺多的,网络协议和硬件方面用的多,软件方面的checking 不成熟,印象国内软件所在做这个, 赐教绝对不敢,我们这里主要用的是timed model(timed petri net or timed automata) |
|
-- 作者：chylli -- 发布时间：4/23/2005 10:17:00 AM -- 我想找一些国外的petri网方面的文章看看，但是我不在学校，大侠能否指点一下，有没有什么数据库的账号什么的让我在外网查一些资料？比如楼上说的IEEE,LNCS,TCS等文献。 期待中... email: chylli@163.com |
|
-- 作者：philio -- 发布时间：4/28/2005 11:36:00 AM -- 过去的researchindex上能查到很多全文文献，后来换了维护者后似乎差了些， 现在不知道怎么样，你可以试试看。另外scholar.google.com也很不错 不知象sir这样的大牛都是在哪儿查资料？ |
|
-- 作者：philio -- 发布时间：4/28/2005 11:45:00 AM -- 对了，researchindex的网址是http://citeseer.ist.psu.edu/cs |
|
-- 作者：y71zb -- 发布时间：5/8/2005 9:55:00 PM -- 有武汉的研究model checking 请与我联系，可以讨论 |
|
-- 作者：dudehui -- 发布时间：6/23/2005 7:47:00 PM -- 请问如何联系你？武汉的这位大哥！ 我做UML的模型验证，想知道你具体做什么，我的QQ47227290。。希望能讨论一下 |
|
-- 作者：twosteps -- 发布时间：8/1/2005 8:45:00 AM -- 请教一下，什么叫状态爆炸啊？ 英文怎么说？ |
|
-- 作者：JellGlory -- 发布时间：10/9/2005 10:02:00 PM -- state explosion state explosion |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
78.125ms |