UQ-PAC / BASIL
☆8Updated this week
Related projects ⓘ
Alternatives and complementary repositories for BASIL
- ☆16Updated 5 months ago
- ☆16Updated last year
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆23Updated 11 months ago
- A model-based API Fuzzer for SMT Solvers.☆11Updated last week
- Frama-C plugins for deadlock and data race detection☆10Updated last week
- Solver for Constrained Horn Clauses☆34Updated this week
- Dafny-VMC: a Library for Verified Monte Carlo Algorithms☆12Updated 2 weeks ago
- ☆13Updated last year
- Fuzz testing for Dafny☆13Updated 2 years ago
- A hardware model checker for hyperproperties☆18Updated 5 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆15Updated this week
- Intrepyd Model Checker☆17Updated 3 years ago
- Libraries useful for Dafny programs☆43Updated last week
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆10Updated 3 weeks ago
- Qute: a dependency learning QBF solver.☆12Updated 3 months ago
- Scalable yet rigorous Floating-point Error Analysis☆11Updated 6 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Updated 6 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆22Updated 5 months ago
- Binary analysis in HOL☆34Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Cerberus C semantics☆53Updated this week
- Verimag Polyhedra Library☆17Updated 4 years ago
- Tons of Inductive Problems: The Benchmarks☆24Updated last year
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Automated Controller Synthesis☆14Updated 6 years ago
- SAT-based LTLf Satisfiability Checker☆8Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆18Updated 4 years ago
- A SyGuS Solver☆22Updated 3 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆20Updated last year
- ☆14Updated 2 years ago