新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → 计算机理论与工程 → 『 理论计算机科学 』 → 请教做model checking[求助] ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 10076 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 请教做model checking[求助] 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     shimutou 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：73
      门派：XML.ORG.CN
      注册：2005/3/31

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给shimutou发送一个短消息 把shimutou加入好友 查看shimutou的个人资料 搜索shimutou在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shimutou的博客楼主
    发贴心情 请教做model checking[求助]

    请教做model checking的大侠们，最近在研究些什么尼。
    感觉model checking自八十年代出现后，研究的主要问题就是如何解决
    状态爆炸问题。请教最近又没有出现什么新的方法解决这么问题尼？
    据我所知model checking在硬件和通讯协议的验证上已近很成功了。
    最近用来验证软件。请教关于软件的验证有没有什么好的文献？
    谢谢赐教

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/4/2 11:46:00
     
     zhaoming 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(数据结构考了98分!)
      文章：50
      积分：360
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhaoming发送一个短消息 把zhaoming加入好友 查看zhaoming的个人资料 搜索zhaoming在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhaoming的博客第2楼
    发贴心情 
    在做automata,状态暴炸是做的人挺多的,网络协议和硬件方面用的多,软件方面的checking
    不成熟,印象国内软件所在做这个,

    赐教绝对不敢,我们这里主要用的是timed model(timed petri net or timed automata)
    国外做的人很多,IEEE,LNCS和TCS三大期刊上文献多如牛毛,根本看不完.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/4/22 19:17:00
     
     chylli 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：5
      积分：74
      门派：XML.ORG.CN
      注册：2005/4/19

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给chylli发送一个短消息 把chylli加入好友 查看chylli的个人资料 搜索chylli在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看chylli的博客第3楼
    发贴心情 
    我想找一些国外的petri网方面的文章看看，但是我不在学校，大侠能否指点一下，有没有什么数据库的账号什么的让我在外网查一些资料？比如楼上说的IEEE,LNCS,TCS等文献。
    期待中...
    email: chylli@163.com
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/4/23 10:17:00
     
     philio 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：70
      门派：XML.ORG.CN
      注册：2005/4/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给philio发送一个短消息 把philio加入好友 查看philio的个人资料 搜索philio在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看philio的博客第4楼
    发贴心情 
    过去的researchindex上能查到很多全文文献，后来换了维护者后似乎差了些，
    现在不知道怎么样，你可以试试看。另外scholar.google.com也很不错

    不知象sir这样的大牛都是在哪儿查资料？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/4/28 11:36:00
     
     philio 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：70
      门派：XML.ORG.CN
      注册：2005/4/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给philio发送一个短消息 把philio加入好友 查看philio的个人资料 搜索philio在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看philio的博客第5楼
    发贴心情 
    对了，researchindex的网址是http://citeseer.ist.psu.edu/cs
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/4/28 11:45:00
     
     y71zb 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：60
      门派：XML.ORG.CN
      注册：2005/5/8

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给y71zb发送一个短消息 把y71zb加入好友 查看y71zb的个人资料 搜索y71zb在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看y71zb的博客第6楼
    发贴心情 
    有武汉的研究model checking 请与我联系，可以讨论
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/5/8 21:55:00
     
     dudehui 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：13
      积分：88
      门派：XML.ORG.CN
      注册：2004/3/3

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给dudehui发送一个短消息 把dudehui加入好友 查看dudehui的个人资料 搜索dudehui在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看dudehui的博客第7楼
    发贴心情 
    请问如何联系你？武汉的这位大哥！
    我做UML的模型验证，想知道你具体做什么，我的QQ47227290。。希望能讨论一下
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/6/23 19:47:00
     
     twosteps 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：4
      积分：68
      门派：XML.ORG.CN
      注册：2005/8/1

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给twosteps发送一个短消息 把twosteps加入好友 查看twosteps的个人资料 搜索twosteps在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看twosteps的博客第8楼
    发贴心情 
    请教一下，什么叫状态爆炸啊？ 英文怎么说？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/8/1 8:45:00
     
     JellGlory 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：2
      积分：63
      注册：2003/12/7

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给JellGlory发送一个短消息 把JellGlory加入好友 查看JellGlory的个人资料 搜索JellGlory在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看JellGlory的博客第9楼
    发贴心情 state explosion
    state explosion
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/9 22:02:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2025/9/9 6:27:38

    本主题贴数9，分页： [1]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 140.625ms