ThomasHaas

Technische Universität Braunschweig

Pinned Repositories

Dat3M
A verification tool for many memory models
Language:Java79 6 19230
rat
RAT: Relational Algebra (with) Tableaus
Language:C++00
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language:LLVM29.8k 581 79k12.3k
java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java190 24 29746
yices2
The Yices SMT Solver
Language:SMT379 26 38049
Dat3M_Spectre
A verification tool for many memory models
Language:Java00
java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java00
smack
SMACK Software Verifier and Verification Toolchain
Language:C00
z3
The Z3 Theorem Prover
Language:C++0 0 00
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k

ThomasHaas's Repositories

ThomasHaas/Dat3M_Spectre
A verification tool for many memory models
Language:Java00
ThomasHaas/java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java00
ThomasHaas/smack
SMACK Software Verifier and Verification Toolchain
Language:C00
ThomasHaas/z3
The Z3 Theorem Prover
Language:C++0 0 00