Developer Manual

ProB Source Code

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: https://stups.hhu-hosting.de/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://gitlab.cs.uni-duesseldorf.de/general/stups/prob_rodin_plugin.
• The Alloy to B translator is here: https://github.com/hhu-stups/alloy2b.
• The TLC4B B to TLA+ translator is here: https://gitlab.cs.uni-duesseldorf.de/general/stups/tlc4b.
• The TLA2B TLA+ to B translator is here: https://gitlab.cs.uni-duesseldorf.de/general/stups/tla2bAST.

ProB Prolog Source Code

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

ProB Java API (aka ProB 2.0)

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

• A new ProB Developer Manual is available.
• How to use ProB2 for Program Synthesis
• LisB, a Clojure API built-on top of the ProB-JAVA API with DSL features