结果1至20829
排序依据：

  • 围裙
  • 引用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并发建模。。。