Developer Manual: Difference between revisions

Latest revision as of 10:40, 1 October 2024

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 her: https://gitlab.cs.uni-duesseldorf.de/general/stups/tla2bAST.

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.
+== ProB Source Code ==
+{{ProBSourceCode}}
+<!--Edit with Template:User_Manual_Index (type "Template: ProBSourceCode" into Go field to the left and type return) -->
 == ProB Prolog Source Code ==
-*[[Getting Involved]] (includes details about getting and running the Prolog sources)
+*[[Running ProB from source]] (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]]
@@ Line 15: / Line 18: @@
 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.
+* [[BSynthesis|How to use ProB2 for Program Synthesis]]
+* [https://pkoerner.github.io/lisb-doc/ LisB], a Clojure API built-on top of the ProB-JAVA API with DSL features