Developer Manual: Difference between revisions

Latest revision as of 10:40, 1 October 2024

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 her: 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

@@ Line 1: / Line 1: @@
-*[[Getting Involved]]
+== 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 ==
+*[[Running ProB from source]] (includes details about getting and running the Prolog sources)
+*[[ProB Tcl/Tk Architecture]]
 *[[Why Prolog?]]
 *[[Prolog Coding Guidelines]]
-*[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB]
+*[[ProB's Prolog Datastructures]]
-== ProB 2.0 ==
-*[[ProB 2.0 Development]]
-*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
-*[http://nightly.cobra.cs.uni-duesseldorf.de/prob2/javadoc/ ProB 2.0 Core Javadoc]
-*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
-*[[ProB 2.0 Tutorial]]
-*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]
+== ProB Java API (aka ProB 2.0) ==
+The documentation for the Java API to ProB can be found [[ProB_Java_API|here]].
-== Git Migration ==
+* A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available.
-*[[ProB Prolog Git Migration Targets / Status]]
+* [[BSynthesis|How to use ProB2 for Program Synthesis]]
-*[[User Name Mappings]]
+* [https://pkoerner.github.io/lisb-doc/ LisB], a Clojure API built-on top of the ProB-JAVA API with DSL features