用b语言测试程序

Question

我不确定这是否适合stackoverflow，但我不知道还有什么要问的。对于用b language编写的程序，（不是B语言，C和C ++的前身），我想知道它是否写得很好，是否有可以执行的编译或测试？

Answer 1

Atelier B, the industrial tool to efficiently deploy the B Method

Answer 2

您可以使用Pro B为Atelier B中的内容制作动画。