• CASL

  • 171篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • PVS

  • 602篇参考文献[SW0384]
  • PVS是一种验证系统。
  • 艾菲尔

  • 105篇参考文献[SW03522]
  • 艾菲尔是一个ISO标准化、面向对象的程序设计…
  • CPLEX

  • 2489篇参考文献[SW04082]
  • IBM®ILOG®CPLEX®提供C、C++、Java、.NET…
  • JML

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

  • 472篇参考文献[SW0488]
  • Z3是一个高性能的定理证明器。
  • 克利

  • 38篇参考文献[SW0894]
  • KLee:无辅助和自动生成高覆盖率…
  • 莫纳

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

  • 651篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…
  • 函数

  • 121篇参考文献[SW0669]
  • XML是一种通用的标记语言,能够…
  • GHC

  • 87篇参考文献[SW0691]
  • 格拉斯哥Haskell编译器内嵌的秘密。较高的。。。