UUVerifiers

UUVerifiers's repositories

eldarica

The Eldarica model checker

Language:ScalaNOASSERTION96 6 59

ostrich

An SMT Solver for string constraints

Language:ScalaNOASSERTION47 4 52

princess

The Princess Theorem Prover

Language:ScalaNOASSERTION26 5 17

tricera

TriCera: a model checker for C programs

Language:ScalaBSD-3-Clause25 6 13

sloth

An SMT Solver for strings

Language:ScalaGPL-3.010 3 2

autosat

Constructing automata with SAT solvers

Language:JavaGPL-3.08 50

uppsat

An approximating SMT solver

Language:ScalaGPL-3.08 5 3

optirica

An Optimizing Solver for Constrained Horn Clauses

Language:ScalaBSD-3-Clause2 30

bct

Bounded Connection Tableaux

Language:ScalaGPL-3.01 30

breu

A library for Bounded Rigid E-Unification

Language:Scala1 30

eldarica.g8

Language:ScalaCC0-1.01 10

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses

Language:ScalaBSD-2-Clause1 20

lattice-optimiser

Optimisation on lattices - work in progress

Language:ScalaGPL-3.01 30

update.github.io

Designed for UPDATE: Next-Generation Embedded Systems

Language:Ruby1 20

adhocsat

Abstract higher-order cd/mc-sat

BSD-2-Clause030

ecma-regex-parser

A BNFC grammar and parser for ECMAScript regular expressions

Language:ShellBSD-3-Clause020

scala-nd

A Scala library for expressing non-deterministic computations

Language:ScalaLGPL-2.1020

seq-solver

Language:ScalaBSD-3-Clause020