结果1至20405
排序依据：

  • 小脚
  • 引用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]
  • 提供远远超过现有效率的逻辑编程系统，接近传统编程。。。大规模程序开发，允许模块化，分离编译和大量优化/时间权衡。。。