• 小脚

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

• 数据记录仪

• 275篇参考文献[ SW200 23 ]
• 开始逻辑编程，但它作为一个突出的分离面积约1977时…

• 验证程序

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

• 臀部

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

• C小调

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

• 杰斯塔

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

• 玻片

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

• 乌尔姆

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

• 骑自行车的人

• 19篇参考文献[SW18519]
• 算法已被整合，专注于分离 逻辑用归纳定义的谓词。为了获取信息…

• 捕食者

• 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 ]
• 一阶验证技术逻辑规范已经从验证基础设施中受益匪浅…适用于基于分离 逻辑其他许可逻辑学，因为他们…

• 维利斯麦克

• 6篇参考文献[ SW097 88 ]
• 关于我们分离 逻辑对于C小调，这又证明是正确的…

• 汞

• 65篇参考文献[ SW08333 ]
• 远远超过现有效率逻辑编程系统，接近传统编程…大规模程序开发，允许模块化，分离编译，以及许多优化/时间权衡…