Quint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA) (github.com)
from bugarela@programming.dev to programming_languages@programming.dev on 19 Dec 2023 12:40
https://programming.dev/post/7461799

Hi all! I am on the dev team for this project and would be happy to answer any questions and/or take note of any critical feedback!

Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain protocols, distributed databases, and p2p protocols. Quint combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art static analysis and development tooling.

#programming_languages