• JCML

  • 2篇参考文献[SW06406]
  • JCML用于Java卡程序Java卡运行时验证的规范语言。卡应用程序。为此,我们提出JCML(Java卡建模语言)规范语言…更完整和精确的定义JCML语言和新的实验和结果…
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • JML

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

  • 42篇参考文献[SW10262]
  • Z/VES Eclipse证明器IDE。社区Z工具提供…
  • Z

  • 272篇参考文献[SW1091]
  • 使用Z.规范、细化和证明。这本书…