• 分离逻辑

  • 7篇参考文献[SW28 59]
  • 分离逻辑框架命令性 霍尔. 我们提供了一个基于分离逻辑的正确性框架。对…的证明命令性 霍尔程序我们的框架有一套证明方法…集合,允许开发泛型命令性算法…数据精化技术当我们瞄准时命令性 霍尔我们的程序可以有效地翻译…
  • 自动呼气

  • 2篇参考文献[SW32 246]
  • 命令性验证基于命令性 霍尔及其分离逻辑框架。一个主要目标…
  • 霍尔布吉

  • 14篇参考文献[SW0409]
  • 用于AN的程序验证条件生成器命令性核心语言。它有前端…然而,我们提出了一个证明环境,霍尔- BoGeIP,它结合了BoGee和互动…
  • 记忆化

  • 1篇参考文献[SW28 640]
  • 状态单元格或命令性 霍尔堆单子,证明了一个对应定理。我们提供…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • Perl

  • 254篇参考文献[SW01225]
  • 编程语言Perl。Perl是一种简单易懂的语言。
  • PVS

  • 600篇参考文献[SW0384]
  • PVS是一种验证系统。