-
小脚
- 引用了53篇文章[sw09787]
- Smallfoot:模块化自动断言检查分离 逻辑.分离 逻辑是一个程序逻辑... 用于检查某些轻量化的工具分离 逻辑规范。断言描述了数据的形状。。。面向分离 逻辑即:避免框架公理(它说什么。。。
-
臀部
- 引用了29篇文章[sw09786]
- 堆操作程序。臀部是分离 逻辑基于自动验证系统的简单。。。将构造一组分离 逻辑证明义务形式的公式含义。。。它们被送到光滑的分离 逻辑证明人。SLEEK是一个全自动校准仪。。。分离 逻辑具有帧推断能力。。。
-
克米诺
- 引用19篇文章[sw09739]
- 分离 逻辑对于小步距cminor。cminor是一种中级命令式编程语言;在那里。。。我们设计了一个分离 逻辑对于cminor。在本文中,我们给出。。。检查证明我们分离 逻辑. 这是第一台大型机器。。。一个分离 逻辑w、 r.t.一个小步骤的语义学。介绍的作品。。。
-
幻灯片
- 引用了20篇文章[sw28542]
- 幻灯片-分离 逻辑有归纳的定义。基于自动机的蕴涵检查分离 逻辑用归纳法。。。检查蕴涵的原型工具分离 逻辑用户提供了递归的归纳定义。。。
-
冲锋!
- 在10篇文章中引用[sw22731]
- 冲锋!一个高阶的框架分离 逻辑以辅币计。我们提出一个全面的。。。一个高阶的浅嵌入分离 逻辑对于Java的一个子集。。。类似于纸和笔的抽象分离-逻辑校样大纲。特别是,战术允许。。。
-
莫纳
- 参考文献133篇[sw06170]
- 约化,达格化,引导树自动机,三值逻辑,急切最小化,基于BDD的自动机表示。。。通过实验来量化它们各自的影响分离MONA工具的版本。。。
-
毒蛇
- 参考12篇文章[sw15038]
- 基于一阶的验证技术逻辑规范从诸如。。。适用于基于分离 逻辑以及其他许可逻辑学,因为他们。。。
-
维柯斯
- 参考7篇文章[sw11259]
- 我们使用基于权限的VerCors项目分离 逻辑要解释多线程Java程序。。。特别讨论我们如何使用逻辑要使用同步器的不同实现。。。具体来说,我们说明了基于权限的分离 逻辑适用于验证功能正确性属性。。。
-
水银
- 引用69篇文章[sw08333]
- 提供远远超过现有效率的逻辑编程系统,接近传统编程。。。大规模程序开发,允许模块化,分离编译和大量优化/时间权衡。。。