# Quint ## Synopsis A language used to write formal specifications on program behaviors. It has familiar syntax like a common programming language. - The model checker [[Apalache]] 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)]]