Awesome Open Source

Search

Programming Languages

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 about 2 years ago

model-checking/kani ⭐ 1,699

Kani Rust Verifier

dependent packages 0 total releases 0 most recent commit about 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 almost 9 years ago

AliveToolkit/alive2 ⭐ 634

Automatic verification of LLVM optimizations

dependent packages 0 total releases 0 most recent commit about 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 over 3 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 about 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 7 months ago

Get A Weekly Email With Trending Model Checking Projects

No Spam. Unsubscribe easily at any time.

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source. All rights reserved.