apalache-mc / apalache

git clone https://github.com/apalache-mc/apalache.git

APALACHE: symbolic model checker for TLA+ and Quint

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

614

★ total

55

forks · 261 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguageScala

LicenseApache-2.0

Created2015-07-03 (11y ago)

Last push8d ago

OwnerOrganization

GitHub topics

apalache model-checking quint smt tla tlaplus verification

Links

GitHub: github.com/apalache-mc/apalache
Homepage: https://apalache-mc.org/
Releases · Issues · Hacker News mentions