• Java探路者

  • 引用了119篇文章[sw07658]
  • 然后,PSIN模型检查器将查找死锁违反任何声明。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 并发错误的程序,如死锁数据竞赛。并发分析需要。。。比如时序逻辑验证死锁分析和数据竞争分析。世俗的。。。
  • 拍打

  • 引用了30篇文章[sw13258]
  • 适合不同性质的技术,如死锁-自由度,散度自由度,可达性,LTL性质和。。。
  • 拉塞克斯

  • 引用16条[sw09941]
  • 有效的、静态的比赛状态检测和死锁. 本文描述了一个静态工具RacerX。。。分析以检测竞赛条件和死锁. 它被明确地设计用来发现错误。。。分析以检测竞赛条件和死锁. 它使用新颖的策略来推断检查。。。
  • 模仿者

  • 在26篇文章中引用[sw00439]
  • 健壮性,不定时的语言保存,非Zeno或死锁-自由循环,接受综合参数。。。
  • 克里奥尔

  • 引用25篇文章[sw09421]
  • 局部导致大量等待甚至死锁. Creol模型的目标是分布式对象。。。
  • 洛拉

  • 引用24篇文章[sw04381]
  • 性质(活性,可逆性,有界性,可达性,死转移,死锁以及可满足性。。。
  • 找不同

  • 在14篇文章中引用[sw00200]
  • 包含多方互动的语言。死锁检测,D-Finder应用证明策略来消除。。。潜在的死锁通过计算越来越强的不变量。。。
  • SMV公司

  • 引用13篇文章[sw04135]
  • 时间属性,包括安全性、活力、公平性和死锁自由,用一个简洁的。。。
  • 合成

  • 参考第8条[sw00944]
  • 系统是正确的死锁-释放并只执行指定的组件交互。。。为了防止死锁使组成的系统只显示。。。
  • 中美合作所

  • 参考第8条[sw21209号]
  • 资源有界性)和安全属性(即死锁自由)基于并发对象的程序。。。可能会引入依赖关系的信息死锁,不保证终止的循环。。。
  • 典型的

  • 参考第8条[sw23207]
  • 分析或程序转换:锁自由度分析,死锁-自由分析,无用代码消除,信息流。。。典型的接口死锁-自由分析在这里。。。
  • 海伦娜

  • 参考11篇文章[sw04384]
  • 系统的可达状态,以及死锁自由。海伦娜的一些特点使它特别。。。
  • GKLEE公司

  • 在10篇文章中引用[sw12794]
  • 通常包含正确性错误,如种族,死锁,或可能计算错误的结果。现有的。。。
  • jCUTE公司

  • 引用9篇文章[sw26692]
  • 程序。它可以发现比赛情况死锁通过系统的进度探索。。。
  • 土拨鼠

  • 参考6篇文章[SW097号文件]
  • 比赛状态或死锁. 例如引入不可生产性,死锁,而且不正确。。。