Skip to content
@uuverifiers

UUVerifiers

A collection of verification tools developed by Uppsala University and the University of Regensburg.

Popular repositories Loading

  1. eldarica eldarica Public

    The Eldarica model checker

    SMT 111 27

  2. ostrich ostrich Public

    An SMT Solver for string constraints

    Scala 56 12

  3. princess princess Public

    The Princess Theorem Prover

    Scala 37 10

  4. tricera tricera Public

    TriCera: a model checker for C programs

    Scala 28 15

  5. sloth sloth Public

    An SMT Solver for strings

    Scala 11 5

  6. autosat autosat Public

    Constructing automata with SAT solvers

    Java 8 2

Repositories

Showing 10 of 21 repositories
  • eldarica Public

    The Eldarica model checker

    uuverifiers/eldarica's past year of commit activity
    SMT 111 27 18 6 Updated Nov 6, 2026
  • princess Public

    The Princess Theorem Prover

    uuverifiers/princess's past year of commit activity
    Scala 37 10 6 1 Updated Oct 25, 2026
  • tricera Public

    TriCera: a model checker for C programs

    uuverifiers/tricera's past year of commit activity
    Scala 28 BSD-3-Clause 15 7 8 Updated Oct 22, 2026
  • ostrich Public

    An SMT Solver for string constraints

    uuverifiers/ostrich's past year of commit activity
    Scala 56 12 19 2 Updated Oct 18, 2026
  • horn-concurrency Public

    Encoding of concurrent or replicated programs using Horn clauses

    uuverifiers/horn-concurrency's past year of commit activity
    Scala 2 BSD-2-Clause 0 0 0 Updated Aug 31, 2026
  • seq-solver Public
    uuverifiers/seq-solver's past year of commit activity
    Scala 1 BSD-3-Clause 0 0 0 Updated Aug 28, 2026
  • smt-comp.github.io Public Forked from SMT-COMP/smt-comp.github.io
    uuverifiers/smt-comp.github.io's past year of commit activity
    HTML 0 MIT 48 0 0 Updated Jun 10, 2026
  • e-voting Public

    A Dafny library of verified e-voting algorithms, together with infrastructure for setting up voting web services.

    uuverifiers/e-voting's past year of commit activity
    Dafny 5 AGPL-3.0 1 0 0 Updated Dec 4, 2025
  • sls-automata-learning Public

    A simple implementation of DFA learning using simulated annealing

    uuverifiers/sls-automata-learning's past year of commit activity
    Scala 0 BSD-3-Clause 0 0 0 Updated Sep 20, 2025
  • ecma-regex-parser Public

    A BNFC grammar and parser for ECMAScript regular expressions

    uuverifiers/ecma-regex-parser's past year of commit activity
    Shell 1 BSD-3-Clause 0 0 0 Updated Jan 12, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.