4 results

Sorting

Contributing Search

Filters

Languages
Platforms
Topics
  1. project logo

    uuverifiers/eldarica   2.2

    The Eldarica model checker

    Scala versions: 2.13 2.12 2.11
    96 5
  2. project logo

    uuverifiers/ostrich   2.0

    An SMT Solver for string constraints

    Scala versions: 2.13 2.12 2.11
    47 8
  3. project logo

    uuverifiers/princess   2025-11-17

    The Princess Theorem Prover

    Scala versions: 2.13 2.12 2.11
    29 6
  4. project logo

    uuverifiers/horn-concurrency   2.2.1

    Encoding of concurrent or replicated programs using Horn clauses

    Scala versions: 2.13 2.12 2.11
    1 2