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

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses