Developer Manual

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 new ProB Developer Manual is available, superseding the information below.

ProB Source Code

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: http://www3.hhu.de/stups/downloads/prob/source/

You may also wish to obtain related Java sources:

• The source code for the ProB parsers (B, LTL, ...) can be obtained from: https://github.com/hhu-stups/probparsers.
• The ProB2-Java-API (also known as ProB2) source code can be obtained from: https://github.com/hhu-stups/prob2_kernel.
• The ProB2-Java-FX UI source code can be obtained from: https://github.com/hhu-stups/prob2_ui.
• The B to Java value translator can also be useful and is a separate project: https://github.com/hhu-stups/value-translator.
• The Plugin for Rodin is also a separate project: https://github.com/hhu-stups/prob-rodinplugin.
• The Alloy to B translator is here: https://github.com/hhu-stups/alloy2b.

ProB Prolog Source Code

• Getting Involved (includes details about getting and running the Prolog sources)
• ProB Tcl/Tk Architecture
• Why Prolog?
• Prolog Coding Guidelines
• Running ProB from source
• ProB's Prolog Datastructures

ProB Java API (aka ProB 2.0)

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