-
依斯
- 引用138篇文章[sw04436]
- Yices是一个高效的SMT公司 解算器这就决定了含有未解释的任意公式的可满足性。。。
-
VeriFast公司
- 引用57篇文章[sw07705]
- 关于原始递归函数。安SMT公司 解算器用于解决对数据的查询。。。以防止SMT公司 解算器在减少任何地面条件的同时。。。验证程序或SMT公司 解算器,验证时间是可预测的。。。
-
数学卫星
- 在56篇文章中引用[sw09449]
- 数学卫星4SMT公司 解算器. 我们展示的是最先进的MathSAT 4SMT公司 解算器... 提供的功能扩展了SMT公司在这种情况下。特别是:模型生成。。。
-
数学5
- 引用44篇文章[sw09569]
- 数学5SMT公司 解算器. MathSAT是一个长期项目,它已经被联合进行。。。保持最先进的SMT公司用于正式验证(和其他应用程序)的工具。数学5。。。SMT公司公式;最后,一个允许用户插入他们定制的SAT的框架解算器. 数学5。。。
-
veriT公司
- 引用了29篇文章[sw07281]
- veriT:开放、可信、高效SMT公司-解算器. 本文描述了第一个公开版本。。。可满足模理论(SMT公司)解算器验证。它是开源的,可以生成证据,而且是完整的。。。
-
选择器
- 27条引用[sw00085]
- Boolector:一个高效的SMT公司 解算器对于位向量和数组。可满足模理论。。。Boolector,这是一个高效的SMT公司 解算器对于位向量的无量词理论。。。
-
德雷尔
- 参考第26条[sw07157]
- 德雷尔:安SMT公司 解算器对于现实中的非线性理论,我们描述了开源。。。工具dRealSMT公司 解算器对于超现实的非线性公式。这个工具可以处理。。。
-
SMT-RAT公司
- 17条引用[sw13091]
- 合并为(1)anSMT公司 解算器或者(2)一种理论解算器为了扩大。。。现有的支持逻辑SMT公司 解算器通过支持的逻辑SMT公司-老鼠。进一步。。。
-
符号
- 参考11篇文章[sw08528]
- 符号优化SMT公司 解算器. 可满足模理论效率的提高(SMT公司)解算器... 这些应用程序,SMT公司 解算器用于产生令人满意的任务(例如证人。。。电话。不幸的是,没有SMT公司 解算器提供这样的优化功能。在本文中。。。t.SYMBA的价值利用效率SMT公司 解算器就像黑匣子一样。因此。。。
-
丁醇
- 引用了20篇文章[sw07406]
- SMTInterpol是一种SMT公司 解算器它可以计算各种理论的克雷格插值。这个解算器...
-
钨
- 引用15篇文章[sw02075]
- 软件。它表明,现代SAT解算器可以正式验证PLC程序在。。。布尔SAT引擎SMT公司 解算器是一个解决复杂问题的选择。。。
-
维兹
- 引用9篇文章[sw22666号]
- 优化SMT公司 解算器. νZ是SMT公司 解算器Z3。它允许用户。。。求解线性优化问题的方法SMT公司公式、MaxSMT及其组合。目标函数。。。这样就可以将问题分派到特殊用途解算器,并检查用例。。。
-
海狸
- 引用9篇文章[sw00071]
- 海狸:设计一个高效的SMT公司 解算器用于位向量运算。海狸是SMT公司 解算器... 操作员。海狸特别适合解决SMT公司程序分析产生的公式(丰富的。。。
-
骨髓基质细胞
- 参考7篇文章[sw09946]
- 基于可满足模理论的软件(SMT公司)解算器. 工程师允许它。。。将它们直接传递给SMT公司 解算器. 此外,ESBMC可以使用。。。CProver框架。ESBMC使用SMT公司 解算器Z3(默认)和Boolector,它们也包括在。。。
-
诺恩
- 参考6篇文章[sw21853]
- 诺恩:安SMT公司 解算器对于字符串约束。我们现在的版本1.0的诺恩。。。SMT公司 解算器对于字符串约束。诺恩是个解算器对于表达约束语言,包括。。。区分Norn和其他的特征SMT公司 解算器Norn是一个假设下的决策过程。。。