Home » de.hhu.stups » prob-java » Versions

ProB Java

Core of the ProB Java API
Version ▼VulnerabilitiesRepositoryUsagesDate
4.16.x
4.16.1Central
2
Aug 28, 2026
4.16.0Central
1
Aug 07, 2026
4.15.x
4.15.1Central
1
Jan 16, 2026
4.15.0Central
2
Jun 30, 2025
4.13.x
4.13.1Central
2
Mar 25, 2024
4.13.0Central
1
Feb 29, 2024