Test a program in b language

Question

I'm not sure this is appropriate for stackoverflow, but I don't know where else to ask. For a program written in b language,(Not the B language, predecessor of C and C++) and i would to know if it's well written, is there a compile or test that i can carry out ?

Answer 1

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

Answer 2

You can use Pro B to animate what you have written in Atelier B.