b-method - b言語でプログラムをテストする

Question

これがstackoverflowに適しているかどうかはわかりませんが、他にどこに質問すればよいかわかりません。b言語で書かれたプログラム（B言語ではなく、CおよびC ++の前身）の場合、それがうまく書かれているかどうかを知りたいのですが、実行できるコンパイルまたはテストはありますか？

Answer 1

Atelier Bを使用すると、Bメソッドを効率的に展開するための産業用ツールになります。

Answer 2

Pro Bを使用して、AtelierBで書いたものをアニメーション化できます。