Home » de.hhu.stups » prob-java

ProB Java

Core of the ProB Java API
LicenseEPL 1.0
Ranking
#75207in MvnRepository
HomePage http://www.prob2.de 🔍 Inspect URL
Links

Latest Versions

6 versions →
VersionVulnerabilitiesUsagesDate
4.16.x
4.16.1
2
Aug 28, 2026
4.16.0
1
Aug 07, 2026
4.15.x
4.15.1
1
Jan 16, 2026
4.15.0
2
Jun 30, 2025
4.13.x
4.13.1
2
Mar 25, 2024
4.13.0
1
Feb 29, 2024
6 versions →