Topic · model-checking

model-checking

Tracked open-source repos tagged model-checking, sorted by stars.

Repos

6

Total stars

12,303

Avg. stars

2,051

Share

0.00%

Topics that frequently appear alongside model-checking on the same repo.

Recent risers

Repos created in the last 90 days, tagged model-checking.

No new repos tagged with this topic in the last 90 days.

#1
P ↗@p-orgC#
The P programming language.
★ 3,670+5Star change over the last 7 days
#2
kani ↗@model-checkingRust
Kani Rust Verifier
★ 3,354+20Star change over the last 7 days
#3
tlaplus ↗@tlaplusJava
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
★ 3,019+11Star change over the last 7 days
#4
alive2 ↗@AliveToolkitC++
Automatic verification of LLVM optimizations
★ 1,162+5Star change over the last 7 days
#5
apalache ↗@apalache-mcScala
APALACHE: symbolic model checker for TLA+ and Quint
★ 595+1Star change over the last 7 days
#6
BlockingQueue ↗@lemmyTLA
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
★ 506+1Star change over the last 7 days

← Back to topics