b-method - 用b语言测试一个程序

Question

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

Answer 1

使用Atelier B，高效部署 B 方法的工业工具

Answer 2

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