开发者 www.tools.clearsy.com/index.php5?title=B-Compiler_Project
-
B Compiler 免费
B 编译器是一个能够分析 B 模型并执行语法和语义分析的工具。它还可用作库,链接到操作 B 模型的应用程序(交叉参考器、代码生成器、文档生成器等)。
B 编译器是一个能够分析 B 模型并执行语法和语义分析的工具。它还可用作库,链接到操作 B 模型的应用程序(交叉参考器、代码生成器、文档生成器等)。