cesaro / dpuLinks
Dynamic analysis of multithreaded C programs
☆13Updated 5 years ago
Alternatives and similar repositories for dpu
Users that are interested in dpu are comparing it to the libraries listed below
Sorting:
- ☆90Updated 3 years ago
- The LTSmin model checking toolset☆60Updated last year
- ☆18Updated 5 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- ☆31Updated 3 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- The Eldarica model checker☆99Updated last month
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- program synthesis is possible☆40Updated 6 years ago
- SRI Sally: A model checker for infinite-state systems.☆75Updated 5 months ago
- AE-solver and Skolemizer☆17Updated last year
- solver for the reachability modulo theories problem☆62Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆55Updated 5 years ago
- SRI LibPoly is a C library for manipulating polynomials☆52Updated last month
- ☆16Updated 6 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Updated 7 years ago
- The opensmt solver☆91Updated 2 weeks ago
- VATA Tree Automata Library☆34Updated last year
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆88Updated last month
- 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
- ☆41Updated 6 years ago
- Documentation☆45Updated 2 months ago
- SPARK 2014 repository for the Why3 verification platform.☆34Updated 3 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆28Updated 3 years ago
- IC3PO: IC3 for Proving Protocol Properties☆28Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 4 months ago
- Formal semantics of LLVM IR in K☆46Updated 7 years ago
- 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
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Updated 4 years ago