QUINT

Summary from the TLDR newsletter

Quint is a specification language particularly useful for distributed systems. It combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art type checking and development tooling. Quint features a simple and familiar syntax, an expressive type system, a novel effect system, a simulator, a symbolic model checker, and more.