• 小脚

  • 引用52篇文章[sw09787]
  • Smallfoot:模块化自动断言检查分离 逻辑.分离 逻辑是一个程序逻辑... 用于检查某些轻量化的工具分离 逻辑规范。描述数据形状的断言。。。面向分离 逻辑即:避免框架公理(它说什么。。。
  • VeriFast公司

  • 引用了55篇文章[sw07705]
  • 程序验证程序。本说明描述了分离-逻辑-基于规范和验证的方法。。。记忆的抽象表示分离 逻辑断言。折叠或展开抽象谓词断言。。。
  • 臀部

  • 引用24篇文章[sw09786]
  • 堆操作程序。臀部是分离 逻辑基于自动验证系统的简单。。。将构造一组分离 逻辑证明义务形式的公式含义。。。送去的是光滑的分离 逻辑证明人。SLEEK是一个全自动校准仪。。。分离 逻辑具有帧推断能力。。。
  • 克米诺

  • 引用19篇文章[sw09739]
  • 分离 逻辑对于小步距cminor。cminor是一种中级命令式编程语言;在那里。。。我们设计了一个分离 逻辑对于cminor。在本文中,我们给出。。。检查证明我们分离 逻辑. 这是第一台大型机器。。。一个分离 逻辑w、 r.t.一个小步骤的语义学。介绍的作品。。。
  • 日本星

  • 引用32篇文章[sw11261]
  • 符号执行和抽象使用分离 逻辑. 所提出的技术已经实现。。。
  • 幻灯片

  • 17条引用[sw28542]
  • 幻灯片-分离 逻辑有归纳的定义。基于自动机的蕴涵检查分离 逻辑用归纳法。。。检查蕴涵的原型工具分离 逻辑用户提供了递归的归纳定义。。。
  • 乌尔德梅

  • 引用25篇文章[sw10400]
  • 施工。核心模拟程序是逻辑上 分开的从模型建立界面和写。。。
  • 捕食者

  • 引用16条[sw07396]
  • 最初的灵感来自分离 逻辑使用高阶列表谓词,但它们。。。
  • 冲锋!

  • 引用9篇文章[sw22731]
  • 冲锋!一个高阶的框架分离 逻辑以辅币计。我们提出一个全面的。。。一个高阶的浅嵌入分离 逻辑对于Java的一个子集。。。类似于纸和笔的抽象分离-逻辑校样大纲。特别是,战术允许。。。
  • 咖喱

  • 引用42篇文章[sw08981]
  • 结合当前分开的功能和逻辑编程社区。。。
  • 查找

  • 引用81篇文章[sw21614]
  • 入侵符合逻辑的错误。终止证明被视为分离锻炼。最后。。。
  • SOLA-VOF公司

  • 引用了40篇文章[sw24125]
  • 用于涉及两种流体的计算分开的一个锋利的界面。不管怎样。。。程序。符合逻辑的零件被隔离在分离子程序和许多特殊功能已经。。。
  • 分离逻辑

  • 参考7篇文章[sw28549]
  • 分离 逻辑命令式HOL的框架。我们为分离-逻辑基于正确性。。。
  • 莫纳

  • 参考117篇文章[sw06170]
  • 约化,达格化,引导树自动机,三值逻辑,急切最小化,基于BDD的自动机表示。。。通过实验来量化它们各自的影响分离MONA工具的版本。。。
  • 科尔维斯

  • 引用5篇文章[sw11259号]
  • 我们使用基于权限的VerCors项目分离 逻辑要解释多线程Java程序。。。特别讨论我们如何使用逻辑要使用同步器的不同实现。。。具体来说,我们说明了基于权限的分离 逻辑适用于验证功能正确性属性。。。
  • 毒蛇

  • 参考6篇文章[sw15038]
  • 基于一阶的验证技术逻辑规范从诸如。。。适用于基于分离 逻辑以及其他许可逻辑学,因为他们。。。
  • 水银

  • 引用了65篇文章[sw08333]
  • 提供远远超过现有效率的逻辑编程系统,接近传统编程。。。大规模程序开发,允许模块化,分离编译和大量优化/时间权衡。。。