cesaro / dpu
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
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Updated 5 years ago
- ☆51Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- ☆27Updated 9 months ago
- LibPoly is a C library for manipulating polynomials☆51Updated 3 months ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- Memory consistency modelling using Alloy☆29Updated 4 years ago
- TriCera: a model checker for C programs☆24Updated this week
- Staged Abstract Interpreters☆65Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs