Developer Manual: Difference between revisions

Revision as of 08:48, 13 January 2021

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.

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

@@ Line 1: / Line 1: @@
-The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The [https://github.com/hhu-stups/probparsers ProB parser is available on github].
-There is a comprehensive Java API available (also known as ProB 2.0).
-A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available, superseding the information below.
@@ Line 29: / Line 26: @@
 The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].
+A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available.