uuverifiers / eldarica   2.2

GitHub

The Eldarica model checker

Scala versions: 2.13 2.12 2.11
Found 3 artifacts
eldarica 2.2
16 days ago
JVM:
2.13 2.12 2.11
eldarica-cc-parser 2.2
16 days ago
JVM:
2.13 2.12 2.11
eldarica-tplspec-parser 2.2
16 days ago
JVM:
2.13 2.12 2.11