model-checking
Here are 340 public repositories matching this topic...
Language:All
Sort:Most stars
The P programming language.
- Updated
Dec 12, 2025 - C#
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- Updated
Dec 17, 2025 - Java
My own notes (drafts mostly) about software quality
- Updated
Feb 1, 2023
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
- Updated
May 23, 2017 - TLA
Automatic verification of LLVM optimizations
- Updated
Dec 3, 2025 - C++
APALACHE: symbolic model checker for TLA+ and Quint
- Updated
Dec 11, 2025 - Scala
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
- Updated
Oct 27, 2024 - TLA
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
- Updated
Dec 11, 2025 - R
SeaHorn Verification Framework
- Updated
May 27, 2025 - C
TLA+ language support for Visual Studio Code
- Updated
Dec 11, 2025 - TypeScript
Verification framework and tool for higher-order Scala programs
- Updated
Dec 17, 2025 - Scala
Concuerror is a stateless model checking tool for Erlang programs.
- Updated
Sep 17, 2025 - Erlang
The Ultimate program analysis framework.
- Updated
Dec 17, 2025 - Java
DataGene - Identify How Similar TS Datasets Are to One Another (by@firmai)
- Updated
Feb 8, 2022 - Jupyter Notebook
Interactive playground for exploring and sharing TLA+ specifications in the browser.
- Updated
Dec 7, 2025 - JavaScript
Command line binaries for the TLA+ language
- Updated
Apr 27, 2023 - Shell
A Modern Probabilistic Model Checker
- Updated
Dec 15, 2025 - C++
Improve this page
Add a description, image, and links to themodel-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with themodel-checking topic, visit your repo's landing page and select "manage topics."