Alternatives and similar repositories for libDDD

Users that are interested in libDDD are comparing it to the libraries listed below

• ths-rwth / smtrat
  ☆60Updated 2 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated last year
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 5 months ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆48Updated this week
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• martinjonas / Q3B
  ☆31Updated 4 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆26Updated last week
• AllanBlanchard / tutoriel_wp
  Frama-C and WP tutorial
  ☆69Updated 3 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆85Updated this week
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆121Updated 3 weeks ago
• seahorn / verify-c-common
  ☆20Updated last year
• EngineeringSoftware / mcoq
  Mutation analysis tool for Coq verification projects
  ☆29Updated 5 years ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆47Updated 5 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 6 months ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆17Updated 8 years ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆63Updated 10 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• kdudka / predator
  A Shape Analyzer Based on Symbolic Memory Graphs
  ☆78Updated 3 weeks ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆64Updated 3 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated 2 weeks ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated 6 months ago
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆29Updated last week
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆44Updated 4 years ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆44Updated 6 months ago