Fossy
fossy
Back quint-co/quint
quint

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

1.9k 150
Apache-2.0
 last commit 2026-10-13
apalacheformal-methodsformal-verificationlanguagequintspecificationspecification-languagetlaplusverification
Website Source
Share:

About

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

quint website preview

Languages

TypeScript66.4%Rust16%Quint15.5%ANTLR0.9%Shell0.5%Emacs Lisp0.2%Nix0.1%HTML0.1%Makefile0.1%JavaScript0.1%Vim Script0.1%

Contributors30

bugarela2962konnov559beu5a327thpani216romac122erickpintor77MahtabNorouzi54Kukovec38rnbguy31josef-widder22see-quick22oliveredget11markopiers11dramarereg10+16

No features listed.

Comments Theme
Install
Build from source
Nix
Keywords
apalache
formal-methods
formal-verification
language
quint
specification
specification-language
tlaplus
verification
slug: quint

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)