4.0.0 uuverifiers horn-concurrency_2.11 jar Horn-Concurrency https://github.com/uuverifiers/horn-concurrency 1.0 BSD License 2.0 https://github.com/uuverifiers/eldarica/blob/master/LICENSE repo Horn-Concurrency uuverifiers https://github.com/uuverifiers/horn-concurrency org.scala-lang scala-library 2.11.12 org.scalatest scalatest_2.11 3.1.0 test uuverifiers eldarica_2.11 2.0.5 uuverifiers uuverifiers http://logicrunch.research.it.uu.se/maven/ default