Alternatives and similar repositories for dpu

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

• mangpo / greenthumb
  ☆90Updated 3 years ago
• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆94Updated 3 weeks ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 2 months ago
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 6 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆79Updated last week
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆61Updated 2 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 11 months ago
• gangtan / CPUmodels
  GoNative project: formal machines models in Coq
  ☆36Updated 8 years ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 10 months ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated last month
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated 3 weeks ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 5 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• martinjonas / Q3B
  ☆30Updated 2 weeks ago
• boogie-org / symdiff
  SymDiff-Differential-Program-Verifier
  ☆37Updated last month
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆72Updated 4 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 6 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆84Updated last week
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• canalcache / canal
  ☆16Updated 6 years ago
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆50Updated 3 months ago