A stateless model checker powered by maximal causality reduction
☆39Oct 13, 2020Updated 6 years ago
Alternatives and similar repositories for JMCR
Users that are interested in JMCR are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆76Nov 11, 2017Updated 8 years ago
- ☆25Mar 13, 2015Updated 11 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆100Oct 21, 2026Updated last week
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- building blocks and testing tools for reliable systems☆30May 7, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- ☆15May 5, 2025Updated last year
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- This repository is for the paper of ICSE 2023: Regression Fuzzing for Deep Learning Systems☆11Feb 21, 2024Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆192Oct 28, 2021Updated 5 years ago
- Log call tree summaries after each request for rust programs instrumented with `tracing`.☆45Oct 23, 2026Updated last week
- A use-after-free checker based on SVF.☆21Nov 29, 2017Updated 8 years ago
- Operating System Labs 2017 for Fudan University☆10Nov 4, 2017Updated 8 years ago
- 使用WebGL和Node.js技术构建复旦三维社交网络。目前实现了校园模型demo显示，多用户在线聊天。☆12Jun 12, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- Benchmark Tool for Embedded Key-Value Stores available in Rust☆30Apr 28, 2026Updated 6 months ago
- Harnessing Large Language Models for Curated Code Reviews☆19Mar 19, 2025Updated last year
- History-Driven Test Program Synthesis for JVM Testing☆10Nov 12, 2021Updated 4 years ago
- Anticipating Invariant☆12Mar 14, 2014Updated 12 years ago
- PushPin: Towards Production-Quality Peer-to-Peer Collaboration☆12Apr 14, 2020Updated 6 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆81Sep 19, 2023Updated 3 years ago
- model testing sugar for testing interactions on structures over time☆26Jul 24, 2019Updated 7 years ago
- minimal symbolic model checker & fuzzer☆115May 27, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆37Dec 16, 2021Updated 4 years ago
- Totally Badass Databases in Rust - an experiment☆22Dec 24, 2018Updated 7 years ago
- JamVM adapted version on macOS Catalina 10.15.6☆17Jan 26, 2021Updated 5 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆37Oct 9, 2022Updated 4 years ago
- Generic model checker for concurrent C programs (mirror repository)☆222Sep 24, 2026Updated last month
- ☆25Aug 30, 2018Updated 8 years ago
- The App for Tianjin University. Now in React-Native.☆47Oct 20, 2022Updated 4 years ago
- SRI Sally: A model checker for infinite-state systems.☆80Jul 31, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Dynamic Analysis for Concurrent Programs☆33Oct 17, 2026Updated 2 weeks ago
- The released code of ReluVal in USENIX Security 2018☆60Mar 4, 2020Updated 6 years ago
- ☆10Oct 26, 2020Updated 6 years ago
- Rust implementation of a fast, bounded, Zipf-distributed random number generator☆34Feb 8, 2025Updated last year
- Full LLVM 3.7 Source Code with SAFECode Project Committed☆11Feb 25, 2017Updated 9 years ago
- POI微信小程序☆12Sep 12, 2018Updated 8 years ago
- CRDT implementations to use with Antidote☆36May 27, 2022Updated 4 years ago