b-method

Test a program in b language


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 ?


Solution

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