• 验证程序

  • 54篇参考文献[SW07705]
  • 原始递归函数。表面贴装求解器用于解决对数据值的查询…描述防止不终止表面贴装解决方案,同时能够减少任何地面…
  • SMT-RAT

  • 16篇参考文献[SW13091]
  • 战略与并行工具箱表面贴装 解决由一系列的表面贴装兼容的实现…方法解决无量词(非)线性实数运算和整数运算…模块可以组合到(1)表面贴装求解者或(2)一个理论求解者…
  • F*

  • 18篇参考文献[SW27 563]
  • 它们的规格组合使用表面贴装 解决互动证明…
  • 俄勒冈州海狸

  • 9篇参考文献[ SW000 071]
  • 向量算法。河狸是表面贴装求解无量词理论的求解器(定理证明器)运算符。河狸特别适合解决 表面贴装公式推导出的程序分析(丰富…
  • MCMT

  • 18篇参考文献[SW11911]
  • 安全与定点解决Satisfiability Modulo理论表面贴装)问题。除了标准表面贴装技法
  • 帕加伊

  • 6篇参考文献[SW13095]
  • 抽象解释与决策程序的结合表面贴装-解决)专注于内部路径的区分。
  • 卡尔卡

  • 5篇参考文献[SW13098]
  • CALCS:表面贴装 解决对于非线性凸约束。某些形式化验证任务需要推理…提出一种新的可满足性方法解决布尔约束的非线性组合…可满足性模理论的程序设计(英文)表面贴装解算器。我们的求解器,Calc,使用一个懒惰的…
  • 纳兰达

  • 5篇参考文献[SW23 172]
  • 关于文章中的语言:表面贴装 解决对于无限结构上的函数编程…
  • VZ

  • 8篇参考文献[SW22666 ]
  • 用户姿态和解决优化问题的理论模型。许多表面贴装应用程序使用模型…投资组合方法解决线性最优化问题表面贴装公式,Max,以及它们的组合…
  • 拉萨特

  • 6篇参考文献[SW15206]
  • 实数。RasAT是一个表面贴装解决QFZNRA范畴中的问题,即有界的…RASAT是基于区间约束的解决,类似于HySAT。RASAT准备各种间隔…LinuxRasAT接受不等式问题表面贴装- LIB格式(.SMT2)(包括……)
  • AC2LUS

  • 2篇参考文献[SW17953]
  • AC2LUS:带来表面贴装-解决通过同步的方法对实时演算进行抽象解释技术。允许使用类似的技术表面贴装-解决并不是以前的抽象解释…
  • TSAT++

  • 3篇参考文献[SW21350]
  • 基于可满足性模理论的方法表面贴装表面贴装是确定可满足性的问题…可满足性检查者合作解决 表面贴装. 模块化允许两个不同的枚举数和可满足性。
  • 因瓦

  • 2篇参考文献[SW10124]
  • 狭义,等式定义的平等谓词,以及表面贴装 解决IVA实现了显著的自动化程度。
  • JavaStMT

  • 1篇参考文献[SW18525]
  • 新开发工具依赖于表面贴装 解决. 这个表面贴装- LIB倡议定义了一种通用格式…解决方案独立API层表面贴装 解决. 我们的图书馆旨在缩小……之间的差距。
  • 克林贡

  • 33篇参考文献[SW09892]
  • 带约束的答案集编程(ASP)解决. 对非线性有限整数的约束…采用最先进的技术表面贴装并使用冲突驱动的学习和理论…
  • 德雷奇

  • 10篇参考文献[SW20164 ]
  • 数字,它们是解决了的在Delta决策过程中表面贴装求解者DRACH。在这…
  • XSAT

  • 1篇参考文献[SW26290]
  • 应用中的障碍表面贴装现实世界浮点代码的技术。解决浮点约束…表面贴装解决者在遇到困难时常常会遇到困难。解决复杂的、非线性的浮点约束…提出了一种新的方法表面贴装 解决不需要直接推理…穆村的浮点可满足性及(2)解决后者通过Monte Carlo Markov…