• 丽莎

  • 1条引用[sw30492]
  • 定义的数据类型(WS2S是虚弱的 第二-秩序 独居的 逻辑两个继承人的)。我们的整合。。。
  • 利巴塔

  • 1条引用[sw33005]
  • 例如独居的 第二-秩序 逻辑(MSO)或虚弱的 第二-秩序理论。。。
  • 单数

  • 引用于1399篇文章[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • PVS公司

  • 参考文献616篇[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 吉咪

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

  • 在502篇文章中引用[sw04887]
  • Z3是一个高性能的定理证明器。。。
  • 蒙纳

  • 在122篇文章中引用[sw06170]
  • MONA实现秘密。MONA工具提供了一个。。。
  • 函数

  • 在122篇文章中引用[sw06669]
  • XML是一种通用的标记语言,能够。。。
  • LTL2BA

  • 参考文献99篇[sw10956]
  • 快速LTL到Büchi自动机翻译。我们呈现。。。