m Update parser url |
No edit summary |
||
| Line 2: | Line 2: | ||
There is a comprehensive Java API available (also known as ProB 2.0). | There is a comprehensive Java API available (also known as ProB 2.0). | ||
A [https://www3.hhu.de/stups/handbook/prob2/ | A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html] new ProB Developer Manual] is available, superseding the information below. | ||
== ProB Prolog Source Code == | == 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).
A [1] new ProB Developer Manual] is available, superseding the information below.
The documentation for the Java API to ProB can be found here.