Developer Manual: Difference between revisions
| Line 14: | Line 14: | ||
* The Alloy to B translator is here: [https://github.com/hhu-stups/alloy2b https://github.com/hhu-stups/alloy2b]. | * The Alloy to B translator is here: [https://github.com/hhu-stups/alloy2b https://github.com/hhu-stups/alloy2b]. | ||
{{ProBSourceCode}} | |||
== ProB Prolog Source Code == | == ProB Prolog Source Code == | ||
Revision as of 08:56, 13 January 2021
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.
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.