Alternatives and similar repositories for dpu

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

• uw-unsat / jitsynth
  ☆18Updated 5 years ago
• mangpo / greenthumb
  ☆91Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆61Updated last year
• bblum / landslide
  stateless model checking for thread libraries, kernels, and transactional memory
  ☆10Updated 7 years ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 5 years ago
• icra-team / icra
  ICRA: a static analyzer based on interprocedural compositional recurrence analysis
  ☆11Updated 5 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆76Updated 6 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆87Updated 3 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆86Updated this week
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆62Updated 2 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 3 weeks ago
• canalcache / canal
  ☆16Updated 6 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆69Updated 2 years ago
• JUrban / MPTP2
  ☆19Updated 8 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 10 years ago
• martinjonas / Q3B
  ☆31Updated 4 months ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• uuverifiers / eldarica
  The Eldarica model checker
  ☆100Updated 2 weeks ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated 3 weeks ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Updated 5 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 4 years ago
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆13Updated 3 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• mit-frap / spring18
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
  ☆23Updated 7 years ago
• UTSASRG / Guarder
  ☆13Updated 7 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆35Updated 3 weeks ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• Z3Prover / doc
  Documentation
  ☆45Updated 3 months ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago