开发者 www.tools.clearsy.com/index.php5?title=B-Compiler_Project

B 编译器是一个能够分析 B 模型并执行语法和语义分析的工具。它还可用作库，链接到操作 B 模型的应用程序（交叉参考器、代码生成器、文档生成器等）。