apalache-mc/apalache

Here's a brief summary of the open-source project: APALACHE is a symbolic model checker for TLA+ and Quint that enables developers to build product UI faster an