parasol-aser / D4Links
D4: Fast Concurrency Debugging with Parallel Differential Analysis
☆18Updated 5 years ago
Alternatives and similar repositories for D4
Users that are interested in D4 are comparing it to the libraries listed below
Sorting:
- Collection of Verification Tasks (MOVED, please follow the link)☆188Updated 4 years ago
- Static program analysis for TIP☆309Updated 9 months ago
- PL/SE conference deadline countdowns☆19Updated 5 years ago
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆252Updated this week
- Dynamic Analysis for Concurrent Programs☆27Updated last week
- Generates loop invariants for program verification☆63Updated 5 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆134Updated 2 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 3 years ago
- ☆75Updated 8 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44Updated 4 years ago
- ☆24Updated 2 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆234Updated 6 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Updated 4 years ago
- A fuzzing framework for SMT solvers☆196Updated 2 months ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Updated 7 years ago
- The Ultimate program analysis framework.☆237Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 7 months ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11Updated 6 years ago
- ☆24Updated 10 years ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- CREST is a concolic test generation tool for C.☆163Updated 5 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Updated last year
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- A compiler from TIP to llvm bitcode☆72Updated last year
- Semantic program repair system for C programs☆101Updated 3 years ago
- ☆16Updated last year
- A stateless model checker powered by maximal causality reduction☆38Updated 5 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month