ProB Java API Developer Manual

Revision as of 14:48, 30 October 2014 by Lukas Ladenberger (talk | contribs)

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, the template is located at