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

#model-checking

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

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