• 引导

• 参考1067篇文章【sw19105】
• 引导程序简介”。软件（引导、交叉-验证，以及书中的数据。。。

• 国际实验室

• 引用426篇文章[sw04004]
• Matlab工具箱的可靠计算和自我-正在验证算法。它由自我组成-正在验证方法。。。

• XPath

• 引用371篇文章[sw15780]
• 当文档已验证使用XML架构。向后兼容模式。。。

• 斯帕斯

• 引用178篇文章[sw04108]
• 贝塞特：找到证据了。如果公式是有效的，SPASS beiseite:已找到完成。如果公式。。。有效的因为有效性在一阶逻辑是不可判定的情况下，SPASS可能永远运行而没有。。。

• 吸血鬼

• 引用239篇文章[sw02918]
• 系统产生一个可证实的证据验证无论是从句化阶段还是反驳阶段。。。

• BVPh公司

• 在181篇文章中引用[sw06575]
• 应用。第三部分展示了有效性对于非线性偏微分方程，例如。。。

• 图规划

• 在181篇文章中引用[sw07746]
• 部分订单计划，或声明没有有效的计划存在。我们提供经验证据。。。

• 轮廓

• 引用179条[sw03705]
• 图形辅助解释和验证聚类分析。。。

• PMTK公司

• 在168篇文章中引用[sw14689]
• 方法从频率统计，如交叉验证，也支持。）自12月以来。。。

• 塞萨尔

• 在157篇文章中引用[sw08510]
• 分布式应用程序。塞萨尔允许进步验证一个系统的算法描述。。。

• 撒谎

• 在152篇文章中引用[sw01075]
• 群体理论的概念与现状有效的定义和价值。计算机代数系统。。。

• CVC4

• 引用107篇文章[sw09485]
• 用来证明有效性（或者，双重的，可满足性）一阶公式。。。CVC4是第四个合作伙伴有效性Checker工具系列（CVC，CVC-Lite。。。

• 控制系统工具箱

• 在139篇文章中引用[sw07643]
• 其他交互式和自动化技术。你可以验证你的设计通过验证上升时间，过冲。。。

• 明托

• 引用132篇文章[sw04587]
• 探索；构造可行的解决方案产生强大的有效的不平等在降低价格的基础上执行变量固定。。。

• 斯帕斯塔特

• 引用131篇文章[sw04429]
• 平滑强度，交叉相对风险估计-已验证带宽选择，标记相关函数，分离指数。。。

• 爆炸

• 引用127篇文章[sw02937]
• 入口点（主功能）有效的执行。安全性能的验证可能会减少。。。

• 阿维斯帕

• 引用84篇文章[sw03172]
• AVISPA（自动验证是一个按钮工具。。。自动化验证互联网安全敏感协议和应用。它提供了一个模块化和表达。。。

• PDDL

• 引用92篇文章[sw07079]
• 语言，它的形式语义和验证同时进行的计划。我们发现PDDL2.1。。。

• 科恩·卡纳德

• 引用57篇文章[sw04974]
• 可能实际执行的任务。为已验证情感标签，请使用版本。。。序列完全由FACS编码。此外已验证情感标签已经被添加。。。带遗漏一主题交叉的分类器-验证被利用了。两组结果。。。

• 细胞倍体

• 引用90篇文章[sw09126]
• 用一系列的十字架来证明-验证对基准数据集的测试包括。。。