uuverifiers / horn-concurrency   2.2.1

BSD 2-clause "Simplified" License GitHub

Encoding of concurrent or replicated programs using Horn clauses

Scala versions: 2.13 2.12 2.11
Found 1 artifact
horn-concurrency 2.2.1
2 days ago
JVM:
2.13 2.12 2.11