• 小脚

  • 52篇参考文献[SW0978]
  • Smallfoot:模块化自动断言检查分离 逻辑.分离 逻辑是一个程序逻辑检查某些轻量级工具分离 逻辑规格断言描述数据的形状…面向新的方面分离 逻辑,即:避免框架公理(说什么……)
  • 验证程序

  • 54篇参考文献[SW07705]
  • 程序验证器。本文描述了分离-逻辑基于规范和验证的方法…抽象的记忆表示分离 逻辑断言。折叠或展开抽象谓词断言…
  • 臀部

  • 23篇参考文献[SW0988]
  • 堆操作程序。臀部是分离 逻辑基于一个简单的自动验证系统…将构建一套分离 逻辑证明义务的形式含义的形式…被送到光滑的地方分离 逻辑证明者光滑是一个全自动证明器…分离 逻辑具有帧推断能力…
  • C小调

  • 19篇参考文献[ SW07939 ]
  • 分离 逻辑对于小步c小音。C小音是中级命令式编程语言;推理,我们设计了一个分离 逻辑为C小音。在本文中,我们给出…检查我们的健全性证明分离 逻辑. 这是第一台大型机器…A的检验证明分离 逻辑W.R.T.一个小步骤语义。提出的工作…
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • 符号执行与抽象使用分离 逻辑. 所提出的技术已经实现…
  • 玻片

  • 16篇参考文献[SW28 52]
  • 幻灯片-分离 逻辑具有归纳定义。基于自动机的蕴涵检查分离 逻辑用归纳法…用于检查蕴涵的原型工具分离 逻辑用用户提供的递归递归定义…
  • 乌尔姆

  • 24篇参考文献[SW10400 ]
  • 施工核心模拟例程是逻辑上 分离的从模型构建界面和编写…
  • 捕食者

  • 16篇参考文献[SW0796]
  • 最初灵感来自于作品分离 逻辑与高阶列表谓词,但他们…
  • 冲锋!

  • 9篇参考文献[SW2173]
  • 冲锋!一种高阶框架分离 逻辑在Coq。我们提出了一个全面的…高阶浅嵌入分离 逻辑对于Java的子集…与纸和笔相似的抽象分离-逻辑证明大纲。特别是,战术允许…
  • 发现

  • 80篇参考文献[SW21614]
  • 入侵符合逻辑的错误。终止的证明被视为分离联系最后…
  • 咖喱

  • 41篇参考文献[ SW08981]
  • 结合当前分离的功能性研究逻辑编程社区…
  • 分离逻辑

  • 7篇参考文献[SW28 59]
  • 分离 逻辑命令式HOL框架。我们提供了一个框架分离-逻辑基于正确性…
  • SOLA-VOF

  • 39篇参考文献[SW24125]
  • 用于涉及两种流体的计算分离的通过尖锐的界面。在任何一种情况下…程序它的符合逻辑的零件被隔离在分离子程序,以及许多特殊的功能已经…
  • 莫纳

  • 116篇参考文献[SW06170]
  • 约化,DAGification,引导树自动机,三值逻辑,急切最小化,基于BDD的自动机表示…通过实验来量化它们各自的效果分离版本的MONA工具…
  • 维科斯

  • 5篇参考文献[SW11259]
  • 基于许可的VCORIS项目分离 逻辑关于多线程Java程序的原因…特别讨论我们如何使用逻辑使用同步器的不同实现…具体地,我们说明了如何基于权限。分离 逻辑适用于验证功能正确性属性…
  • 蝰蛇

  • 6篇参考文献[SW150 38 ]
  • 一阶验证技术逻辑规范已经从验证基础设施中受益匪浅…适用于基于分离 逻辑其他许可逻辑学,因为他们…
  • 65篇参考文献[ SW08333 ]
  • 远远超过现有效率逻辑编程系统,接近传统编程…大规模程序开发,允许模块化,分离编译,以及许多优化/时间权衡…