如何找到 z-notation 编译器或解析器或解释器？ [关闭]

Question

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

Answer 1

查看Community Z Tools。

Community Z Tools Project (CZT)：用于编辑、类型检查和 动画 Z 规范和相关符号。包括一个 Java 用于构建形式化方法工具的框架。