• 小脚

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

• 数据日志

• 引用281篇文章[sw20023]
• 开始逻辑但它作为分离1977年左右的地区当。。。

• VeriFast公司

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

• 臀部

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

• 克米诺

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

• 日本星

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

• 幻灯片

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

• 乌尔德梅

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

• 骑自行车的人

• 引用了20篇文章[sw18519号文件]
• 算法已经被整合，集中在分离 逻辑具有归纳定义的谓词。供参考。。。

• 捕食者

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

• 冲锋！

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

• 查找

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

• 咖喱

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

• SOLA-VOF公司

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

• 分离逻辑

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

• 莫纳

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

• 维柯斯

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

• 毒蛇

• 引用8篇文章[sw15038]
• 基于一阶的验证技术逻辑这些基础设施从这些规范中受益匪浅。。。适用于基于分离 逻辑以及其他许可逻辑学，因为他们。。。

• VeriSmall公司

• 参考6篇文章[sw09788]
• 关于我们的分离 逻辑对于C小调，这反过来证明是正确的。。。

• 水银

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