Template:ProBSourceCode: Difference between revisions

No edit summary
(Update download link to new server)
 
(3 intermediate revisions by one other user not shown)
Line 1: Line 1:




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: https://stups.hhu-hosting.de/downloads/prob/source/


You may also wish to obtain related Java sources:
You may also wish to obtain related Java sources:
* The source code for the ProB parsers (B, LTL, ...) can be obtained from: [https://https://github.com/hhu-stups/probparsers https://github.com/hhu-stups/probparsers].
* The source code for the ProB parsers (B, LTL, ...) can be obtained from: [https://github.com/hhu-stups/probparsers 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 https://github.com/hhu-stups/prob2_kernel].
* The ProB2-Java-API (also known as ProB2) source code can be obtained from: [https://github.com/hhu-stups/prob2_kernel 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 https://github.com/hhu-stups/prob2_ui].
* The ProB2-Java-FX UI source code can be obtained from: [https://github.com/hhu-stups/prob2_ui 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 https://github.com/hhu-stups/value-translator].
* The B to Java value translator can also be useful and is a separate project: [https://github.com/hhu-stups/value-translator https://github.com/hhu-stups/value-translator].
* The Plugin for Rodin is also a separate project: [https://github.com/hhu-stups/prob-rodinplugin https://github.com/hhu-stups/prob-rodinplugin].
* The Plugin for Rodin is also a separate project: [https://gitlab.cs.uni-duesseldorf.de/general/stups/prob_rodin_plugin https://gitlab.cs.uni-duesseldorf.de/general/stups/prob_rodin_plugin].
* 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].
* The TLC4B B to TLA+ translator is here: [https://gitlab.cs.uni-duesseldorf.de/general/stups/tlc4b 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 https://gitlab.cs.uni-duesseldorf.de/general/stups/tla2bAST].

Latest revision as of 12:28, 23 February 2023


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: