parasol-aser / JMCRView external linksLinks
A stateless model checker powered by maximal causality reduction
☆38Oct 13, 2020Updated 5 years ago
Alternatives and similar repositories for JMCR
Users that are interested in JMCR are comparing it to the libraries listed below
Sorting:
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Feb 18, 2020Updated 5 years ago
- ☆75Nov 11, 2017Updated 8 years ago
- ☆24Mar 13, 2015Updated 10 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 4 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Feb 12, 2022Updated 4 years ago
- ☆24Aug 30, 2018Updated 7 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- minimal symbolic model checker & fuzzer☆114May 27, 2015Updated 10 years ago
- Wraps around a futures::Spawn and adds diagnostics to it☆32Feb 5, 2020Updated 6 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Sep 4, 2013Updated 12 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆36Oct 9, 2022Updated 3 years ago
- CrashTuner(SOSP2019)☆30Aug 28, 2019Updated 6 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆33Dec 16, 2021Updated 4 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆74Sep 19, 2023Updated 2 years ago
- zero-g git.☆40Aug 8, 2023Updated 2 years ago
- Lightweight tool for slicing☆35Feb 6, 2026Updated last week
- Collection of Verification Tasks (MOVED, please follow the link)☆188Oct 28, 2021Updated 4 years ago
- ☆44Apr 5, 2023Updated 2 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 5 years ago
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- SmalL bUt Complete GROne Synthesizer☆43Aug 22, 2024Updated last year
- Concurrent Log-Structured Memory for Many-Core Key-Value Stores☆36Jul 7, 2020Updated 5 years ago
- LibreCores Web Site☆36Jan 7, 2023Updated 3 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Aug 16, 2023Updated 2 years ago
- ☆39May 25, 2020Updated 5 years ago
- ☆12Jun 18, 2024Updated last year
- ☆10Nov 23, 2024Updated last year
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- ☆11Jul 20, 2021Updated 4 years ago
- Generic model checker for concurrent C programs (mirror repository)☆190Nov 28, 2025Updated 2 months ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Aug 31, 2020Updated 5 years ago
- C++ API for the disting NT Eurorack module☆13Feb 3, 2026Updated last week
- Air Quality Test Box is an open source machine for detect air quality.☆17Oct 8, 2024Updated last year
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- docs are awesome DEPRECATED - ARCHIVE ON 11-30-2018☆12Jun 20, 2017Updated 8 years ago