UQ-PAC / BASIL
☆8Updated this week
Related projects ⓘ
Alternatives and complementary repositories for BASIL
- ☆15Updated 5 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆15Updated this week
- ☆16Updated last year
- ☆15Updated last year
- A model-based API Fuzzer for SMT Solvers.☆11Updated this week
- Solver for Constrained Horn Clauses☆34Updated this week
- A hardware model checker for hyperproperties☆18Updated 4 months ago
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated this week
- ☆15Updated last year
- ☆13Updated last year
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 5 months ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆19Updated 2 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆9Updated last week
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- egraph on top of sqlite☆12Updated 2 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆16Updated last year
- ☆15Updated 2 years ago
- Symbolic Geometric Algebra with E-Graphs☆18Updated last year
- TriCera: a model checker for C programs☆18Updated this week
- ☆11Updated 3 years ago
- Repository for the HARDENS project☆18Updated last week
- Egraphs Modulo Theories☆14Updated 3 weeks ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021☆13Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆32Updated last year
- PPLite: convex polyhedra library for Abstract Interpretation☆22Updated 4 months ago
- Frama-C plugins for deadlock and data race detection☆10Updated last year
- Automated Controller Synthesis☆14Updated 6 years ago