Quint

Formal verification · a language for formal models

created October 25, 2026 · updated October 25, 2026

A language for describing the rules of a system so that they can be run and checked before any code is written. The notation looks like ordinary code and engineers without a math background can read it. The program tries orders of actions and shows the chain of steps where a rule breaks. Two programs check it: TLC and Apalache, and there is also a quick random simulation.

Source: quint-lang.org, the Quint site and docs

Read more: Finding races and lost data with Quint modelsHow Quint differs from QUnit, Jest and TLA+

Whole glossary