The source code of the current ProB Java API release is located at https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_kernel and mirrored to https://github.com/hhu-stups/prob2_kernel.
The project is intended for internal usage, do not rely on any of the features or interfaces in this project.
This repository only contains the ProB Java API itself. The Eclipse/Rodin plugin was moved to a separate repository: https://github.com/hhu-stups/prob-rodinplugin.
Please report bugs and feature requests at prob-issues on GitHub.
The ProB Java API requires Java 8 or later (tested using Java 8, 11, and 17) and is compatible with 64-bit versions of Windows, macOS, and most Linux distributions (glibc on x86_64).
The ProB Java API is built using Gradle.
We recommend running Gradle via the Gradle wrapper (gradlew
) included in the repo
to ensure that the expected Gradle version is used.
Alternatively you can install a compatible Gradle version yourself,
e. g. via your package manager.
Note: most of the source code is found in the subdirectory "de.prob2.kernel". If your IDE does not recognize this location automatically, make sure that you have imported/linked the Gradle project correctly. The top-level Gradle project is located in the repository root, not in the "de.prob2.kernel" directory!
To run the test suite: ./gradlew check
The ProB Java API source code is distributed under the Eclipse Public License - v 2.0.
The ProB Java API comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.
(c) 2012-2020 Jens Bendisposto et.al., all rights reserved