• ESC/爪哇

  • 133篇参考文献[SW07217]
  • 注解Java程序静止的 分析程序代码及其形式注释。用户
  • 围裙

  • 61篇参考文献[ SW000 045 ]
  • 数值抽象域库静止的 分析. 本文介绍了围裙,免费提供…图书馆专用于静止的 分析通过抽象解释的程序的数值变量…
  • SAT4J

  • 67篇参考文献[SW0783]
  • 指南和代码约定(检查使用)静止的 分析源代码的)。图书馆…
  • 64篇参考文献[ SW08333 ]
  • 高级声明性编程的表现性静止的 分析以及错误检测特征。其高度优化…
  • 八角形

  • 61篇参考文献[SW13702]
  • 面孔)。这个图书馆的目标是静止的 分析通过抽象的解释(寻找一个简短的……)
  • NIKE2D

  • 59篇参考文献[SW12115]
  • 无轴向拉伸试样静止的 分析一个O形环和一个圆柱棒撞击…
  • 希茨

  • 54篇参考文献[SW07017]
  • 工具集。HETS是一个解析,静止的 分析和证明管理工具结合各种改进…
  • MFRe2D

  • 275篇参考文献[SW15725]
  • 拉紧分析固体力学与结构力学静止的和/或动态负载与…
  • IF-2.0

  • 46篇参考文献[SW03303]
  • 专用工具,我们专注于静止的 分析(如切片和抽象)是强制性的…语境:PAR静止的中间表示的性质防止分析动态系统…
  • ABAQUS/标准

  • 159篇参考文献[SW07161]
  • ABAQS/标准采用解决方案技术静止的和低速动态事件,高度精确…执行非线性发动机盖安装分析包括复杂的垫圈力学。安装后分析分析这非常适合于隐式求解技术,例如静止的,低速…应用于这些部分分析其中高速、非线性、瞬态响应占主导地位。
  • FRAMA-C

  • 37篇参考文献[SW04626]
  • FRAMA-C集合若干静止的 分析在单一协作框架中的技术。合作的方法…FRAMA-C允许静止的分析器建立在已经由其他分析器计算的结果上…工具,如切片机和相依器分析
  • 比查姆

  • 40篇参考文献[ SW099 27 ]
  • 生物学,具有一些独特的特征静止的 分析或从……推断未知模型参数。
  • TVLA

  • 31篇参考文献[ SW0988]
  • “YACC”类自动构建框架静止的-分析算法从操作语义,其中…
  • 彗星

  • 20篇参考文献[ SW07813]
  • 有用的解决或准静止的 分析或小和大的动态问题…
  • 瑜珈修士

  • 12篇参考文献[SW13094]
  • 瑜珈项目:软件属性检查静态的 分析并进行测试。我们提出瑜伽师,一个工具…C程序的组合属性静止的 分析并进行测试。瑜珈实现了破折号算法…它插进了微软静态的驱动验证器框架。我们已经使用了这个框架…
  • ABAQUS/显式

  • 73篇参考文献[SW07160]
  • ABAQUS/显式是一个有限元分析特别适合模拟简短的产品…有吸引力的模拟许多拟-静止的事件,比如滚烫的金属…Abaqus /标准的延续条件。同样,一个分析开始在Abaqus /标准可以继续…分析这非常适合于隐式求解技术,例如静止的,低速…
  • 维拉斯科

  • 12篇参考文献[ SW1995 85 ]
  • 与其他相比,维拉斯科的新奇之处静止的 分析工具,它是完全指定的…
  • 路径爬虫

  • 10篇参考文献[SW07253]
  • 组合路径测试静态的动态分析. 我们提出的路径爬虫原型工具…从近似和复杂性静止的 分析,也不是要求执行死刑的数量…
  • 克利

  • 10篇参考文献[SW12794]
  • 探索。基于保守的现有工具静止的 分析或SIMD并发生成的保守建模。
  • 消防员

  • 6篇参考文献[SW10594]
  • 消防员:防火墙建模的工具包分析. 安全问题变得越来越重要…安防本文介绍了消防队员静止的 分析防火墙建模工具包分析配置作为专业程序,消防员应用静止的 分析检查错误配置的技术,如策略…