Home » io.github.uuverifiers » horn-concurrency

Horn Concurrency

Encoding of concurrent or replicated programs using Horn clauses
LicenseBSD 2-clause
Tagsgithubconcurrency
Ranking
#320338in MvnRepository
HomePage https://github.com/uuverifiers/horn-concurrency 🔍 Inspect URL
Links

Latest Versions

6 versions →
Version ▼ScalaVulnerabilitiesUsagesDate
2.3.x
2.32.13
2.12
2.11
0
May 23, 2026
2.2.x
2.2.12.13
2.12
2.11
0
Nov 20, 2025
6 versions →