Skip to content

@uuverifiers UUVerifiers

Change the repository type filter

All

    Repositories list

    21 repositories

    • princess

      Public
      The Princess Theorem Prover
      logicsmtsmt-solversmt-libtheorem-prover
      Scala
      •
      Other
      •9•30•7•2•Updated Dec 20, 2025Dec 20, 2025

    • tricera

      Public
      TriCera: a model checker for C programs
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •13•26•10•6•Updated Dec 18, 2025Dec 18, 2025

    • e-voting

      Public
      A Dafny library of verified e-voting algorithms, together with infrastructure for setting up voting web services.
      Dafny
      •
      GNU Affero General Public License v3.0
      •0•3•0•0•Updated Dec 4, 2025Dec 4, 2025

    • eldarica

      Public
      The Eldarica model checker
      prologverificationsmt2smt-solvermodel-checkerhorn-clauses
      SMT
      •
      Other
      •26•98•15•5•Updated Nov 28, 2025Nov 28, 2025

    • horn-concurrency

      Public
      Encoding of concurrent or replicated programs using Horn clauses
      Scala
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Nov 21, 2025Nov 21, 2025

    • ostrich

      Public
      An SMT Solver for string constraints
      stringstheorem-provingregular-expressionssmt-solvertheorem-prover
      Scala
      •
      Other
      •8•47•19•2•Updated Nov 21, 2025Nov 21, 2025

    • sls-automata-learning

      Public
      A simple implementation of DFA learning using simulated annealing
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 20, 2025Sep 20, 2025

    • smt-comp.github.io

      Public
      HTML
      •
      MIT License
      •34•0•0•0•Updated Jul 1, 2025Jul 1, 2025

    • seq-solver

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Apr 14, 2024Apr 14, 2024

    • ecma-regex-parser

      Public
      A BNFC grammar and parser for ECMAScript regular expressions
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jan 12, 2023Jan 12, 2023

    • eldarica.g8

      Public
      Scala
      •
      Creative Commons Zero v1.0 Universal
      •44•0•0•0•Updated Aug 11, 2022Aug 11, 2022

    • optirica

      Public
      An Optimizing Solver for Constrained Horn Clauses
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Jun 7, 2022Jun 7, 2022

    • lattice-optimiser

      Public
      Optimisation on lattices - work in progress
      Scala
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Jun 7, 2022Jun 7, 2022

    • uppsat

      Public
      An approximating SMT solver
      Scala
      •
      GNU General Public License v3.0
      •4•8•3•0•Updated Jun 28, 2021Jun 28, 2021

    • scala-nd

      Public
      A Scala library for expressing non-deterministic computations
      Scala
      •
      GNU Lesser General Public License v2.1
      •0•0•0•0•Updated Oct 29, 2020Oct 29, 2020

    • adhocsat

      Public
      Abstract higher-order cd/mc-sat
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Aug 19, 2020Aug 19, 2020

    • update.github.io

      Public
      Designed for UPDATE: Next-Generation Embedded Systems
      Ruby
      •0•0•0•0•Updated Jun 11, 2020Jun 11, 2020

    • bct

      Public
      Bounded Connection Tableaux
      Scala
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Mar 1, 2019Mar 1, 2019

    • breu

      Public
      A library for Bounded Rigid E-Unification
      Scala
      •0•2•0•0•Updated Feb 28, 2019Feb 28, 2019

    • autosat

      Public
      Constructing automata with SAT solvers
      Java
      •
      GNU General Public License v3.0
      •2•8•0•0•Updated Oct 10, 2018Oct 10, 2018

    • sloth

      Public
      An SMT Solver for strings
      Scala
      •
      GNU General Public License v3.0
      •5•10•1•0•Updated Jun 22, 2018Jun 22, 2018