• 罗丹

  • 引用81篇文章[sw07083]
  • 基于Eclipse的IDE事件-B为求精和数学证明提供了有效的支持。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 棱镜

  • 引用423篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 合金

  • 引用了30篇文章[sw01247]
  • 合金:一种新的软件建模技术。合金。。。
  • 水獭

  • 在316篇文章中引用[sw02904]
  • 我们目前的自动扣除系统Otter是设计。。。
  • 旋转

  • 引用716篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • 吉咪

  • 参考文献188篇[sw04597]
  • Java建模语言(JML)是一种行为。。。
  • 规格#

  • 参考文献121篇[sw04598]
  • 规范编程系统是一种新的尝试。。。
  • z3型

  • 参考515篇文章[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 验证9

  • 在181篇文章中引用[sw04969]
  • Prover9和Mace4:Prover9是一个自动定理。。。