• 臀部

  • 22篇参考文献[SW0988]
  • 功能正确性的自动验证 操纵 程序. HIP是一种基于分离逻辑的…模块化验证规范-操纵 程序. 规范语言允许用户定义的电感…
  • 雷神

  • 5篇参考文献[SW150 79]
  • 能够自动推理-操纵 程序. 在开发中有几个这样的系统…
  • JML

  • 187篇参考文献[SW04997 ]
  • Java建模语言(JML)是一种行为模型。
  • Z3

  • 449篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 简化

  • 132篇参考文献[SW04966]
  • 扩展静态检查。本文提供了一个概述…
  • 莫纳

  • 114篇参考文献[SW06170]
  • 蒙纳实现秘密。MONA工具提供了一个…
  • 飞镖

  • 68篇参考文献[SW07260]
  • DART:有针对性的自动化随机测试。我们提出了…
  • TVLA

  • 31篇参考文献[ SW0988]
  • TVLA:一个实现静态分析的系统。我们