apalache

github.comtool

APALACHE: symbolic model checker for TLA+ and Quint.

from

Cosmos SDK

added

2026-10-10

likes

0

Cosmos SDK › Testing: “APALACHE: symbolic model checker for TLA+ and Quint.”