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 http://nightly.cobra.cs.uni-duesseldorf.de/prob2/developer-documentation/prob-devel.pdf, the template is located at https://github.com/bendisposto/prob2_tooling_template.