• 分离逻辑

  • 参考7篇文章[sw28549]
  • 分离逻辑框架命令 荷兰语. 我们提供了一个基于分离逻辑的正确性框架。。。证明命令 荷兰语程序。我们的框架提供了一套证明方法。。。集合,允许开发通用命令算法。。。数据精化技术。我们的目标命令 荷兰语,我们的程序可以高效地翻译成。。。
  • 自动命令行

  • 引用2篇文章[sw32246]
  • 命令验证基于命令 荷兰语及其分离逻辑框架。一个主要目标。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 程序验证条件生成器命令核心语言。它有前端。。。论文,然而,我们提供了一个证明环境,荷兰语-布吉普,它结合了布吉和互动。。。
  • 记忆

  • 1条引用[SW640号]
  • state monad或命令 荷兰语堆monad,并证明了一个对应定理。我们提供。。。
  • ACL2

  • 引用276篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 毫升

  • 参考506篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • PVS公司

  • 引用608篇文章[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 原因3

  • 引用126篇文章[sw04438]
  • 为什么3是演绎程序验证的平台。。。
  • 里昂

  • 在10篇文章中引用[sw09159]
  • 列昂验证系统概述:验证。。。