This is your work, valued

Apalache Model Checker

Advanced
@apalache-mc

Apalache: symbolic model checker for TLA+ and Quint

apalache.informal.systems