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

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 计算机科学论坛 → 计算机理论与工程 → 『 理论计算机科学 』 → 这里有没有做Model Checking的？ ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 43026 个阅读者浏览上一篇主题  刷新本主题   平板显示贴子　浏览下一篇主题
     * 贴子主题： 这里有没有做Model Checking的？ 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     GoogleAdSense
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/6/10 17:01:55

    本主题贴数24，分页： [1] [2] [3]

     *树形目录 （最近20个回帖） 顶端 
    主题：  这里有没有做Model Checking的？(102字) － copperccnu，2005年3月29日
        回复：  太好了，请问一下各位有研究 agent communication 的吗？我的研究方向是agen..(98字) － dustion，2006年4月16日
        回复：  瞎逛逛到这里了 原来有这么多人做model checking的我刚上研 这些方面刚看了两本书..(439字) － sosoid，2006年3月30日
            回复：  可以将SPIN model checker作简单评论吗？[quote][b]以下是引用[i]..(218字) － linrd，2006年4月3日
            回复：  应该多多交流，尤其是资料方面(28字) － linrd，2006年4月3日
        回复：  这位老兄说的好，不知道是何方神圣？我也是做进程代数的。交流交流如何？..(70字) － hgawu，2006年3月25日
            回复：  现在正在学习NASA关于LIVINGSTONE的东西,谁知道这些,请赐教!..(56字) － mqznudt，2006年4月6日
        回复：  偶今年刚上研一，对这个形式化验证的东西不太了解，我想请教一些问题，如果要把这个模型检测和实际的东西..(161字) － royzy，2005年8月25日
        回复：  我在做Isabelle/Isar，有没有同学也做这个？skatingon@gmail.com..(60字) － skatingon，2005年8月14日
        回复：  有研究进程代数和pi演算进行模型验证的吗？有的话可以讨论讨论哦QQ：361169937..(77字) － fq4731，2005年8月12日
        回复：  以前看到一本书<model checking>,翻了一下,挺好,没细看,在做automata,涉..(144字) － zhaoming，2005年4月22日
        回复：  武大的同学，书不在我手上，不好意思啊。网上可以找到一些论文，CMU有几个TR可以下载来看，都是以前..(239字) － copperccnu，2005年4月5日
        回复：  关于进程代数：1. 进程代数最初主要是关注系统之间的相等关系，比如CCS中的strong/wea..(1743字) － yangfeather，2005年4月5日
        回复：  关于model checking: 1. 在模型检测中，我们关注的往往是local proper..(769字) － yangfeather，2005年4月5日
            回复：  “尤其是在使用自动机来识别图时。” 这个东西哪里有介绍？？[quote][b]以下是引用[i]..(976字) － ljb，2005年4月5日
                回复：  偶以前学过自动机识别二维图，实际上识别的就是识别一个数组。不知道是不是你想问的。..(80字) － twosteps，2005年8月1日
            回复：  举个小手， 偶的毕业论文大方向就是这个， 我是在国外念的大学，很想以后回国工作，不过今天浏览了这个..(465字) － twosteps，2005年8月1日
        回复：  model checking general(202字) － shenhaozr，2005年4月4日
        回复：  clarke 那本书很好的，要慢慢读。我花了大半年时间才读完。有问题我们可以切磋，我的油箱：ch..(105字) － shimutou，2005年3月31日
        回复：  那本model checking的书还是蛮好的吧！我们这边是在用这本书开讨论班!你如果是在北京的话..(202字) － yangfeather，2005年3月30日

    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 8,039.063ms