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

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

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

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

    本人对model checking的学习一年左右,想要向各位交流心得,请高手指教.
    QQ:19552978

       收藏   分享  
    顶(0)
      




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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给liyong发送一个短消息 把liyong加入好友 查看liyong的个人资料 搜索liyong在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看liyong的博客第2楼
    发贴心情 
    我最近也在搞model checking ，请大哥给小弟弟一点提示！！！我已经加了你为好友，我的qq 是：8138245
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/15 10:01:00
     
     sizilove 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：4
      积分：75
      门派：XML.ORG.CN
      注册：2005/11/8

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sizilove发送一个短消息 把sizilove加入好友 查看sizilove的个人资料 搜索sizilove在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sizilove的博客第3楼
    发贴心情 
    我也刚刚开始研究model checking ,现在正在弄MWB，希望能得到高手指点！
    QQ：35382751
    MSN：lijin_mvp@hotmail.com
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/12/21 21:14:00
     
     gaohj1000 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：58
      门派：XML.ORG.CN
      注册：2006/6/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给gaohj1000发送一个短消息 把gaohj1000加入好友 查看gaohj1000的个人资料 搜索gaohj1000在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看gaohj1000的博客第4楼
    发贴心情 
    我也搞了1年过的model checking，大家有兴趣一起来讨论？
    我的QQ: 58662339
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/6/14 10:15:00
     
     bunana 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：0
      积分：55
      门派：XML.ORG.CN
      注册：2006/6/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给bunana发送一个短消息 把bunana加入好友 查看bunana的个人资料 搜索bunana在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看bunana的博客第5楼
    发贴心情 model checking,我也有意啊!
    model checking 我也意往这方向,不过以前没接触过,挺难上手的,看了一本书.也不是很清楚,很想找几个人交流一下!
    QQ80222094
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/6/18 1:13:00
     
     naturelle 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(猛啃高等数学)
      文章：5
      积分：113
      门派：XML.ORG.CN
      注册：2006/6/28

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给naturelle发送一个短消息 把naturelle加入好友 查看naturelle的个人资料 搜索naturelle在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看naturelle的博客第6楼
    发贴心情 
    先看这本书

    Model Checking

    by Clarke et al.

    http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3730

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/6/28 12:47:00
     
     asdokok 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：0
      积分：57
      门派：XML.ORG.CN
      注册：2006/8/14

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给asdokok发送一个短消息 把asdokok加入好友 查看asdokok的个人资料 搜索asdokok在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看asdokok的博客第7楼
    发贴心情 
    各位搞过Software model checking没有？原来研究model checking,但发现对协议、Spin等兴趣不大，后发现软件模型检测，研究至今。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/8/14 15:42:00
     
     chex 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：58
      门派：XML.ORG.CN
      注册：2006/10/7

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给chex发送一个短消息 把chex加入好友 查看chex的个人资料 搜索chex在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看chex的博客第8楼
    发贴心情 
    Edmund M. Clarke可是Logic方面的牛人啊，想到当年他还没出名的时候……

    ----------------------------------------------
    感兴趣的方向： Process Algebra, Pi-Calculus, Algorithms in Computer Science, Applied Logic, Linux kernel Modification...

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/10/7 14:13:00
     
     liwup 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：58
      门派：XML.ORG.CN
      注册：2007/5/10

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给liwup发送一个短消息 把liwup加入好友 查看liwup的个人资料 搜索liwup在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看liwup的博客第9楼
    发贴心情 
    哪里能下载到这本书啊？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/5/10 21:01:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/1 15:11:53

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

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