quint ☆
« Back to VersTracker
Description:
Core tool for the Quint specification language
Type: Formula  |  Latest Version: 0.29.1@0  |  Tracked Since: Nov 11, 2025
Links: Homepage  |  GitHub  |  Docs  |  formulae.brew.sh
Stars: 1,111  |  Forks: 104  |  Language: TypeScript  |  Category: Developer tools
Tags: formal-verification specification model-checking distributed-systems typescript
Install: brew install quint
About:
Quint is a specification language and tool designed for distributed systems, combining the expressiveness of TLA+ with the familiarity of Python-like syntax. It features a simulator for rapid feedback and integrates with Apalache for symbolic model checking. This tool helps engineers design, model, and verify protocols before writing code.
Key Features:
  • Python-like syntax for easier adoption
  • Built-in simulator for fast feedback loops
  • Integration with Apalache for formal verification
  • Supports temporal logic properties
  • Generates executable tests from specs
Use Cases:
  • Formal modeling of distributed protocols and algorithms
  • Bug detection in system designs before implementation
  • Generating test cases for stateful systems
Alternatives:
  • TLA+ – Quint offers a more modern syntax and integrated tooling
  • Alloy – Focuses on relational logic, while Quint targets temporal properties
Version History
Detected Version Rev Change Commit
Dec 24, 2025 9:55pm 0.29.1 0 VERSION_BUMP 59deb4dc
Nov 11, 2025 5:20pm 0 VERSION_BUMP 52850d49
« Back to VersTracker  |  Browse Packages  |  About