martinjonas / Q3BLinks
☆28Updated 2 months ago
Alternatives and similar repositories for Q3B
Users that are interested in Q3B are comparing it to the libraries listed below
Sorting:
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- ☆11Updated 11 months ago
- LibPoly is a C library for manipulating polynomials☆51Updated last month
- ☆17Updated last year
- ☆52Updated 9 years ago
- Solver for Constrained Horn Clauses☆39Updated last week
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 4 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- A Fast Floating-Point Satisfiability Solver☆28Updated 6 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated last year
- A model checker for infinite-state systems.☆74Updated 3 weeks ago
- ☆13Updated 7 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- SMT solver for the theory of floating-point arithmetic☆26Updated 7 years ago
- Efficient Sampling of SAT Solutions for Testing☆35Updated 5 years ago
- ☆55Updated 2 weeks ago
- A standard for floating point accuracy benchmarks☆49Updated 3 months ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆30Updated 4 months ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆25Updated this week
- Libraries useful for Dafny programs☆45Updated last month
- DAI: Demanded Abstract Interpretation☆16Updated 8 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- llvm2KITTeL☆19Updated 8 years ago
- ☆16Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated this week
- TriCera: a model checker for C programs☆25Updated this week
- ☆34Updated last week
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago