# Quint ## Metadata **Status**:: #now **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-10]] **Topic**:: [[♯ Formal Method]] ## Synopsis A language used to write formal specifications on program behaviors. It has familiar syntax like a common programming language. - The model checker [Apalache](https://apalache-mc.org/) can be used for TLA+. - [quint-connect](https://github.com/informalsystems/quint-connect) is a testing framework to generate Rust test cases from a Quint specification. ## References - [[Quint Authors - Language Basics (Highlights)]] - [[Quint Authors - Lesson 0 - Hello, world (Highlights)]]