parsing - 如何找到 z-notation 编译器或解析器或解释器？

Question

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

Answer 1

查看社区 Z 工具。

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