ProB Java API Developer Manual - ProB Documentation

ProB Java API Developer Manual


For developers who want to build specialized tools on top of ProB, we have prepared comprehensive documentation of the ProB Java API together with a template that enables a quick start. The documentation is available from https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2.0 the template is located at https://github.com/bendisposto/prob2_tooling_template.