• CZT

  • 12篇参考文献[ SW057 82]
  • 支持Z扩展,例如目标-Z马戏团和TCOZ…
  • TCOZ

  • 8篇参考文献[SW0382]
  • 定时通信目标 Z(TCOZ)组合目标-Z在模拟复杂数据方面的优势…
  • Z2SAL

  • 6篇参考文献[SW0708]
  • 支持Z扩展,如目标-Z马戏团和TCOZ。这些工具…
  • 高规格

  • 1篇参考文献[SW0950]
  • 语言,OZTA,是一种组合目标-Z(Oz)和时间自动机(TA)。建筑强度目标-Z在指定数据结构和时间自动机的建模…
  • CASL

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

  • 105篇参考文献[SW03522]
  • 艾菲尔是ISO标准化的,目标面向程序设计…
  • JML

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

  • 29篇参考文献[SW09906]
  • 运行时验证工具Java的概述…
  • Z/EVS

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