• 酒精试验原

  • 引用9篇文章【sw17720】
  • 荷兰语-TestGen是一个基于规范的单元测试的测试用例生成器。。。荷兰语-TestGen是建立在规范和定理证明环境Isabelle/HOL的基础上的。。。
  • CSP校准仪

  • 引用15篇文章[sw11465]
  • 一般定理证明者Isabelle,使用逻辑荷兰语-复杂。在这个逻辑中,语法。。。
  • 开放理论

  • 在14篇文章中引用[SW625号]
  • 高阶逻辑的验证程序实现,包括荷兰语光,洞4和校对。希望。。。
  • 利奥三世

  • 引用13篇文章[sw18516]
  • 基于代理的荷兰语推理。在Leo III项目中,一个新的基于代理的演绎系统。。。
  • 分离逻辑

  • 参考7篇文章[sw28549]
  • 祈使句分离逻辑框架荷兰语. 我们提供了一个基于分离逻辑的正确性框架。。。命令的证明荷兰语程序。我们的框架提供了一套证明方法。。。数据精化技术。我们的目标是命令荷兰语,我们的程序可以高效地翻译成。。。
  • 特克温霍尔

  • 引用8篇文章[sw00968]
  • 上下文重写和重写由荷兰语窗口推理库。本文描述了。。。转换步骤由荷兰语系统。界面可以定制。。。
  • 皮德

  • 在10篇文章中引用[sw06404号]
  • 荷兰语[5,{S}1])在JVM平台上使用了复杂的前端技术,克服了命令。。。
  • 歌德神

  • 引用5篇文章[sw32223]
  • 经典高阶逻辑片段(荷兰语)因此,形式化本质上是一种形式化。。。霍尔...
  • 孔2P

  • 引用4篇文章[sw21180]
  • 扩展经典高阶逻辑的HOL2P(荷兰语)使用类型运算符变量和通用类型。。。应用于多态性水平荷兰语功能。用类型运算符参数化术语。。。HOL2P已经在荷兰语-轻。类型推断是半自动的。。。
  • 甲醛

  • 引用3篇文章[sw21539]
  • 荷兰语基于一阶模态逻辑证明器。一阶模态逻辑(FMLs)可以建模。。。经典高阶逻辑的自然片段(霍尔). fmltool工具利用了这个事实。。。启用现成的应用程序荷兰语证明者和模型发现者的推理内。。。的TPTP thf0语法荷兰语. 它目前支持逻辑。。。
  • 合一

  • 引用3篇文章[sw28702]
  • 荷兰语-统一验证系统。这个荷兰语-统一验证系统由一系列工具组成。。。工具与定理证明程序接口荷兰语证明统一程序的性质。在这个。。。荷兰语-UNITY支持并行程序正确性的机械化证明。。。
  • lcpSim公司

  • 参考6篇文章[sw18603]
  • 服务纪律,如FIFO、LIPO、PPS,荷兰语,抢占优先权(恢复,重复),传输,轮询,最近。。。
  • ivreg2型

  • 引用5篇文章【sw31884】
  • 核的选择;克拉格的“杂种OLS”(霍尔斯)估计量;大样本统计的缺省报告。。。
  • HOL轻量化

  • 引用2篇文章[sw28656]
  • 荷兰语轻量化宽松。我们感兴趣的算法,操纵数学表达式在数学上有意义。。。Lisp程序设计语言。自从荷兰语逻辑也是教会类型的一个版本。。。决定添加报价和评估荷兰语说明全面质量管理的可实施性。。。校对助理。生成的系统称为荷兰语轻量化宽松。在这里我们记录设计。。。
  • 触觉

  • 引用3篇文章[SW627号文件]
  • 翻译成FOL,直接处理荷兰语水平。结合战术预测和前提。。。秒而最好的单曲荷兰语(y) 锤子策略解决了32%的相同。。。
  • 小鬼++

  • 引用4篇文章[sw01439]
  • 面向对象数据模型的编码荷兰语. 应用程序。。。
  • 阿格索尔

  • 引用4篇文章[sw13302号]
  • 向校对员申请校样荷兰语验证术语语言。语言这个术语。。。
  • 梯队式

  • 引用4篇文章[sw28558]
  • 矩阵。这项工作是基于荷兰语-多元分析库,以及两者。。。
  • 单态单体

  • 引用2篇文章[sw28583]
  • 不能在高阶逻辑中表达(荷兰语)由于类型系统限制。我们展示。。。类型,这个概念可以用荷兰语. 基于这个想法,我们开发。。。抽象在具体的单子上荷兰语因此使用相同的定义。。。