プログラム www.tools.clearsy.com/index.php5?title=B-Compiler_Project

B コンパイラは B モデルを解析し、構文解析とセマンティック分析を実行できるツールです。また、B モデル (相互参照、コード ジェネレーター、ドキュメント ジェネレーターなど) を操作するアプリケーションにリンクされたライブラリとしても使用できます。