• 挑剔

  • 50篇参考文献[SW0622]
  • 归纳法谓语和数据类型,和(CO)递归函数。从根本上说有限的模型查找器,它近似于…
  • 24篇参考文献[SW08334 ]
  • 重载函数和谓语自动强制并提供算法,有限的域和SET约束…强大的语言构造,如用户定义的谓语功能和约束类型。第三,锌…
  • Prolog语言

  • 67篇参考文献[SW0618]
  • 具有约束求解的自由Prolog编译器有限的丹尼尔迪阿兹开发的领域。GNU PROlog…大多数未使用的内置代码谓语. GNU PROlog的性能是非常令人鼓舞的…还包括一个有效的约束求解器。有限的域(FD)。这将打开逻辑编程…
  • 萨帕托

  • 11篇参考文献[SW25425]
  • ZAPATO:自动定理证明谓语抽象求精。反例驱动的抽象精化是一种自动的…产生抽象模型的过程有限的无限状态系统。当这个过程…
  • IDP3

  • 7篇参考文献[ SW229 441 ]
  • 谓语作为建模语言的逻辑:建模和解决一些机器学习和数据挖掘…系统IDP3的核心是有限的支持一阶逻辑的模型生成器…略微扩展的语言谓语逻辑,让他们解决…
  • ARA

  • 5篇参考文献[SW08504]
  • 还原谓语Calculi允许一阶的n变量逻辑(RPC n)有限的变量…
  • 西姆帕

  • 3篇参考文献[SW08414]
  • 并发程序。谓语抽象和反例引导的抽象精化(CEGAR)已经启用有限的状态模型…
  • 莫纳布

  • 2篇参考文献[SW18507]
  • 有限的-用于模型检查的数据线程抽象可能与单调性不一致:谓语抽象…
  • 辛普

  • 1篇参考文献[SW0936]
  • 最小模型为A的程序有限的一套受限制的事实。为了这个目的…称为分支行为谓语定义我们已经完全自动化了我们的方法…
  • CDD

  • 104篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • GMP

  • 250篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。
  • 林箱

  • 37篇参考文献[SW0522]
  • Link Box:一个精确线性代数的通用库…
  • MATLAB

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 514篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…