Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
The Top 10 Model Checking Open Source Projects
Open source projects categorized as Model Checking
Categories
>
Software Quality
>
Model Checking
Edit Category
p-org/P
⭐
2,845
The P programming language.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
tlaplus/tlaplus
⭐
2,154
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
dependent packages
0
total releases
0
most recent commit
over 2 years ago
model-checking/kani
⭐
1,699
Kani Rust Verifier
dependent packages
0
total releases
0
most recent commit
over 2 years ago
spacejam/tla-rust
⭐
831
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
dependent packages
0
total releases
0
most recent commit
about 9 years ago
AliveToolkit/alive2
⭐
634
Automatic verification of LLVM optimizations
dependent packages
0
total releases
0
most recent commit
over 2 years ago
thomasp85/lime
⭐
470
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
dependent packages
0
total releases
0
most recent commit
almost 4 years ago
lemmy/BlockingQueue
⭐
461
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
dependent packages
0
total releases
0
most recent commit
almost 3 years ago
seahorn/seahorn
⭐
391
SeaHorn Verification Framework
dependent packages
0
total releases
0
most recent commit
over 2 years ago
informalsystems/apalache
⭐
387
APALACHE: symbolic model checker for TLA+ and Quint
dependent packages
0
total releases
0
most recent commit
over 2 years ago
parapluu/Concuerror
⭐
340
Concuerror is a stateless model checking tool for Erlang programs.
dependent packages
0
total releases
0
most recent commit
9 months ago
Get A Weekly Email With Trending Model Checking Projects
No Spam. Unsubscribe easily at any time.
Model Checking
Subscribe
Javascript must be enabled to subscribe.
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2026 Awesome Open Source. All rights reserved.
