• Pex公司

• 参考33篇文章[sw07263]
• 有界路径模型-检查)确定测试输入参数化单元测试。佩克斯学会了。。。

• 台阶

• 引用36篇[sw17948]
• 有限状态系统，但是模型 检查用演绎的方法来验证。。。广泛的系统类别，包括参数化（N元件）电路设计，参数化（N进程）程序。。。

• ByMC公司

• 引用4篇文章[sw21699]
• 检查器）。ByMC是用于参数化 模型 检查阈值保护的分布式容错。。。

• 侏儒

• 引用3篇文章[sw34668]
• 模型 参数化，PyBNF支持通过引导或贝叶斯方法进行不确定性量化，以及模型 检查. PyBNF。。。定义用于参数化或检查. 它运行在大多数Linux上。。。

• 嗯

• 引用8篇文章[sw10132]
• 检查能够对线程行为进行形式化推理。使用这个框架，内存模型... 在a中指定参数化样式设计者可以简单地重新定义一些绕过规则和可见性。。。另一个存储器的规格模型. 我们将几种经典记忆形式化模型包括顺序一致性，连贯性。。。使用分析Java线程语义模型 检查. 我们还将我们的操作规范风格与。。。

• CPBPV公司

• 引用5篇文章[sw00164]
• 表达约束存储。最后，CPBPV是参数化有一个解算器的列表。。。还有哪些框架是基于有界的模型 检查失败了。。。

• Fg指数

• 引用9篇文章[sw18892]
• 图形数据库。普遍用于模型不同领域中对象之间的关系。。。然后通过以下方式对每个候选人进行验证检查子图同构。提高了查询性能。。。索引的大小参数化好吧。我们的大量实验验证了查询处理。。。

• 皮马格

• 引用2篇文章[sw10090]
• 流水线机器验证问题。我们现在参数化一系列基准问题产生于。。。模型，但也有复杂的正确性语句，涉及不变量和符号模拟模型... 用几十万秒检查使用UCLID决策程序。。。

• PAM-OPT公司

• 1条引用[sw17677]
• 结果，做出决定，改变模型和检查又是新的设计直到一个最佳。。。设计变更。PAM-OPT管理计算模型 参数化，并启动预处理、解算器和后期处理。。。

• 公理

• 参考170篇文章[sw00063]
• 一个通用的代数系统。。。

• 可可

• 参考文献621篇[sw00143]
• CoCoA是一个交换计算系统。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 差距

• 引用2850篇文章[sw00320]
• GAP是一个计算离散代数系统。。。

• 伊莎贝尔

• 在606篇文章中引用[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 莱达

• 引用261篇文章[sw00509]
• 在计算机科学的核心领域——数据结构。。。

• 麦考拉2

• 引用1658篇文章[sw00537]
• Macaulay2是一个致力于支持。。。

• 枫木

• 引用5040篇文章[sw00545]
• 经过30多年的切割。。。

• 数学软件

• 引用5883篇文章[sw00554]
• 几乎所有的工作流程都涉及到计算结果，而且。。。

• Matlab语言

• 参考12074篇文章[sw00558]
• MATLAB®是一种高级语言和交互式。。。

• 超小卫星

• 引用文献531篇[sw00577]
• 可扩展的SAT解算器。MiniSat是一个极简主义者。。。