• 围裙

  • 引用66篇文章[sw00045]
  • 数字抽象域库静止的 分析. 本文介绍围裙,一种免费的。。。专为静止的 分析程序的数值变量的抽象解释。。。
  • 萨特4J

  • 引用了70篇文章[sw07283]
  • 准则和规范惯例(使用静止的 分析源代码)。图书馆。。。
  • 水银

  • 引用了65篇文章[sw08333]
  • 高级声明式程序设计的表现力静止的 分析特征和错误检测。它高度优化。。。
  • 八角形

  • 参考61篇文章【sw13702】
  • 面)。这个库的目标是静止的 分析通过抽象的解释(找一个简短的。。。
  • Nike2D系列

  • 引用59篇文章[sw12115]
  • 非轴拉伸试样,a静止的 分析一个O型环和一个圆柱杆撞击。。。
  • Hets公司

  • 引用57篇文章[sw07017]
  • 工具组。Hets是一种分析,静止的 分析和证据管理工具,包括各种证据。。。
  • Mfree2D型

  • 在294篇文章中引用【sw15725】
  • 拉紧分析在固体力学和结构力学中静止的和/或动态荷载。。。
  • 如果-2.0

  • 引用46篇文章[sw03303号]
  • 专用工具,我们专注于静止的 分析(例如切片和抽象)这是强制性的。。。上下文:par--静止的中间表示的性质阻止了分析动态系统。。。
  • ABAQUS/标准

  • 引用182篇文章[sw07161]
  • Abaqus/Standard采用解决方案技术静止的和低速动态事件,其中高度精确。。。执行非线性发动机护罩安装分析包括复杂的垫圈机械装置。安装后分析...分析非常适合隐式求解技术,例如静止的,低速。。。应用于分析高速、非线性、瞬态响应占主导地位。。。
  • Frama-C公司

  • 在39篇文章中引用[sw04626]
  • Frama-C收集了几个静止的 分析在单一的协作技术框架中。协作方法。。。Frama-C允许静止的分析程序建立在其他分析程序已经计算的结果的基础上。。。工具,如切片器和依赖项分析...
  • 比查姆

  • 引用了40篇文章[sw09927]
  • 生物学,有一些独特的特点静止的 分析或者从中推断出未知的模型参数。。。
  • TVLA公司

  • 引用32篇文章[sw09878]
  • 类似YACC的自动构造框架静止的-分析运算语义学的运算法则,其中。。。
  • 彗星

  • 引用21篇文章[sw07813]
  • 有助于求解-静止的 分析或大小动态问题。。。
  • ABAQUS/显式

  • 引用了76篇文章[sw07160]
  • Abaqus/Explicit是一种有限元分析产品特别适合模拟简短。。。吸引了许多拟-静止的事件,比如滚烫的金属。。。Abaqus/标准的延续条件。同样,一个分析从Abaqus/标准开始可以继续。。。分析非常适合隐式求解技术,例如静止的低速,低速。。。
  • 瑜伽士

  • 参考12篇文章[sw13094]
  • Yogi项目:通过静态 分析和测试。我们展示瑜伽,一种工具。。。用C语言组合程序的性质静止的 分析和测试。Yogi实现了破折号算法。。。它插入微软的静态驱动验证框架。我们使用了这个框架。。。
  • 维拉斯科

  • 参考12篇文章[sw19985]
  • 与其他产品相比,Verasco的新颖性静止的 分析工具,就是它是完全指定的。。。
  • 爬虫

  • 在10篇文章中引用[sw07253]
  • 组合路径测试静态动态的分析. 我们展示了PathCrawler原型工具。。。静止的 分析也不是从要求处决的人数来看。。。
  • GKLEE公司

  • 在10篇文章中引用[sw12794]
  • 探索。基于保守的现有工具静止的 分析生成保守的SIMD并发建模。。。