Усі теги
Тег каталогу

#model-checking

Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.

5 записів
З тегом «model-checking»Упорядковано за індексом здоров'я
—
86Відміннийіндекс здоров'я
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Scala · TLA★ 58218 лип. 2026 р.
Apache-2.018 лип. 2026 р. · метрики 2.10.0
Maven
81Відміннийіндекс здоров'я
ftsrg/theta
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Java · Kotlin · SMT★ 6615 лип. 2026 р.
Apache-2.015 лип. 2026 р. · метрики 2.10.0
crates.io
63Помірнийіндекс здоров'я
fabracht/tla-rs
Опис репозиторію не опубліковано.
Rust★ 61↓ 336/міс15 лип. 2026 р.
Без ліцензії15 лип. 2026 р. · метрики 2.10.0
—
62Помірнийіндекс здоров'я
Smattr/rumur
yet another model checker
C++ · C · MATLAB★ 2622 серп. 2026 р.
Unlicense22 серп. 2026 р. · метрики 2.10.0
PyPI · crates.io
57Помірнийіндекс здоров'я
sybila/biodivine-aeon-py
Опис репозиторію не опубліковано.
Jupyter Notebook · Rust · Python★ 721 лип. 2026 р.
MIT21 лип. 2026 р. · метрики 2.10.0