Developer Manual

Revision as of 12:42, 12 January 2018 by Michael Leuschel (talk | contribs) (ProB Prolog Source Code)

The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The ProB parser is available on github. There is a comprehensive Java API available (also known as ProB 2.0).

ProB Prolog Source Code

ProB Java API (aka ProB 2.0)

The documentation for the Java API to ProB can be found here.