Template:ProBSourceCode: Difference between revisions
Created page with " 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/ http://www3.hhu.de/..." |
No edit summary |
||
| Line 1: | Line 1: | ||
== 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/ http://www3.hhu.de/stups/downloads/prob/source/] | 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/ http://www3.hhu.de/stups/downloads/prob/source/] | ||
Revision as of 08:58, 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.