Протестируйте программу на языке b

Question

Я не уверен, что это подходит для stackru, но я не знаю, где еще спросить. Для программы, написанной на языке b(не на языке B, предшественнике C и C++), и я хотел бы знать, хорошо ли она написана, есть ли компиляция или тест, который я могу выполнить?

Answer 1

С Atelier B, промышленным инструментом для эффективного развертывания метода B

Answer 2

Вы можете использовать Pro B, чтобы оживить то, что вы написали в Atelier B.