我怎样才能找到z-notation编译器或解析器或解释器？

Question

我应该找到z符号解析器或编译器。如果可以，请帮助我。

Answer 1

查看Community Z Tools。

  

社区Z工具项目（CZT）：用于编辑，类型检查和工具的工具   动画Z规范和相关的符号。包括Java   构建形式方法工具的框架。