• 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]
• 消防员：防火墙建模的工具包分析. 安全问题变得越来越重要…安防本文介绍了消防队员静止的 分析防火墙建模工具包分析…配置作为专业程序，消防员应用静止的 分析检查错误配置的技术，如策略…