Template:ProBSourceCode: Difference between revisions

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:

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.

Revision as of 08:26, 15 April 2022 (view source) Michael Leuschel (talk \| contribs) No edit summary ← Older edit		Latest revision as of 12:28, 23 February 2023 (view source) David Geleßus (talk \| contribs) (Update download link to new server)
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: