-
斯帕斯
- 在177篇文章中引用[sw04108]
- 贝塞特:找到证据了。如果公式是有效的,SPASS beiseite:已找到完成。如果公式。。。有效的因为有效性在一阶逻辑是不可判定的情况下,SPASS可能永远运行而没有。。。
-
CVC4
- 引用104篇文章[sw09485]
- 用来证明有效性(或者,双重的,可满足性)一阶公式。。。CVC4是第四个合作伙伴有效性Checker工具系列(CVC,CVC-Lite。。。
-
明托
- 引用132篇文章[SW047号文件]
- 探索;构造可行的解决方案产生强大的有效的不平等在降低价格的基础上执行变量固定。。。
-
阿维斯帕
- 引用84篇文章[sw03172]
- AVISPA(自动验证是一个按钮工具。。。自动化验证互联网安全敏感协议和应用。它提供了一个模块化和表达。。。
-
科恩·卡纳德
- 在56篇文章中引用[sw04974]
- 可能实际执行的任务。为已验证情感标签,请使用版本。。。序列完全由FACS编码。此外已验证情感标签已经被添加。。。带遗漏一主题交叉的分类器-验证被利用了。两组结果。。。