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

Latest version

[![horn-concurrency Scala version support](https://index.scala-lang.org/uuverifiers/horn-concurrency/horn-concurrency/latest.svg)](https://index.scala-lang.org/uuverifiers/horn-concurrency/horn-concurrency)

JVM badge

[![horn-concurrency Scala version support](https://index.scala-lang.org/uuverifiers/horn-concurrency/horn-concurrency/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/uuverifiers/horn-concurrency/horn-concurrency)