Generic model checker for concurrent C programs (mirror repository)
☆222Oct 31, 2026Updated this week
Alternatives and similar repositories for genmc
Users that are interested in genmc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A verification tool for many memory models☆129Updated this week
- 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
- Verification and optimization tool for concurrent code☆28Jul 29, 2025Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆45Sep 4, 2013Updated 13 years ago
- rmem public repo☆54Oct 3, 2026Updated 3 weeks 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.
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆32Oct 26, 2026Updated last week
- TLA embedding in Verus☆34Updated this week
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- SymDiff-Differential-Program-Verifier☆40Aug 21, 2025Updated last year
- A verified library of synchronization primitives and concurrent data structures☆44Mar 31, 2026Updated 7 months ago
- Concurrency Paper☆119Jun 1, 2023Updated 3 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆316Updated this week
- 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.
- ☆22Updated this week
- An intermediate verification language☆30Jan 4, 2026Updated 9 months ago
- Formalization of C++ for verification purposes.☆109Updated this week
- ☆26Jun 16, 2026Updated 4 months ago
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- Proof Annotation Language: inline Pulse annotations for C☆14Updated this week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- Verifying concurrent storage and distributed systems☆253Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆64Oct 3, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- C Bounded Model Checker☆1,157Updated this week
- ☆24Oct 6, 2026Updated 3 weeks ago
- A curated list of awesome Rust checkers☆68Aug 22, 2026Updated 2 months ago
- Communication between Coq and SAT/SMT solvers☆170Updated this week
- Proof infrastructure about LTL in Lean 4☆40Oct 13, 2026Updated 2 weeks ago
- Vermilion: Verus meets Lean☆62Updated this week
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- Solver for Constrained Horn Clauses☆52Oct 20, 2026Updated last week
- An automated deductive program verifier based on concurrent separation logic☆35Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆32Mar 4, 2024Updated 2 years ago
- Collection of Automated Reasoners☆39Oct 14, 2026Updated 2 weeks ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆60May 15, 2026Updated 5 months ago
- assembly-level instruction-set semantics in Lean☆64Updated this week
- Verifying the SCION architecture using Gobra☆12Sep 22, 2026Updated last month
- A new take on facet-reflect☆14Updated this week