Cfa subproject in the Theta model checking framework

LicenseApache 2.0
HomePage https://theta.mit.bme.hu/ 🔍 Inspect URL
Ranking#67390 in MvnRepository (See Top Artifacts)
Used By7 artifacts

VersionVulnerabilitiesRepositoryUsagesDate
6.5.x
6.5.0CentralAug 09, 2024
6.4.x
6.4.0CentralAug 05, 2024
6.3.x
6.3.4CentralAug 03, 2024
6.3.3CentralAug 01, 2024
6.2.x
6.2.0CentralJul 24, 2024
6.1.x
6.1.0CentralJul 22, 2024
6.0.x
6.0.0CentralJul 12, 2024
5.4.x
5.4.0CentralJul 09, 2024
5.3.x
5.3.0CentralJul 09, 2024
5.2.x
5.2.1CentralJun 25, 2024
5.2.0CentralJun 21, 2024
5.1.x
5.1.1CentralJun 15, 2024
5.1.0CentralMar 25, 2024
5.0.x
5.0.6CentralMar 20, 2024
5.0.5CentralMar 19, 2024
5.0.4CentralMar 12, 2024
5.0.3CentralMar 12, 2024
5.0.2CentralMar 12, 2024
5.0.1CentralFeb 15, 2024
4.4.x
4.4.4CentralJul 12, 2023