Geek Repo
followers
following
stars
Company:Uppsala University
Home Page:http://www.philipp.ruemmer.org
Github PK Tool:Github PK Tool
The Eldarica model checker
An SMT Solver for string constraints
The Princess Theorem Prover
TriCera: a model checker for C programs
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.
An SMT Solver for strings
Constructing automata with SAT solvers
An approximating SMT solver
A Princess theory for computing Parikh images of automata
An Optimizing Solver for Constrained Horn Clauses
Bounded Connection Tableaux
A library for Bounded Rigid E-Unification
Designed for UPDATE: Next-Generation Embedded Systems