Explore @uuverifiers Open Source projects

UUVerifiers (@uuverifiers)

uuverifiers

Stars
187
Global Org. Rank 41,885 (Top 14 %)
Followers 17
Registered over 10 years ago
Most used languages

Scala
84.6 %

Ruby
7.7 %

Java
7.7 %

eldarica

The Eldarica model checker

ostrich

An SMT Solver for string constraints

princess

The Princess Theorem Prover

tricera

TriCera: a model checker for C programs

sloth

An SMT Solver for strings

autosat

Constructing automata with SAT solvers

uppsat

An approximating SMT solver

optirica

An Optimizing Solver for Constrained Horn Clauses

breu

A library for Bounded Rigid E-Unification

update.github.io

Designed for UPDATE: Next-Generation Embedded Systems

bct

Bounded Connection Tableaux

lattice-optimiser

Optimisation on lattices - work in progress

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses