# Quint

> Executable specs for reliable systems

Quint is a modern specification language and toolset for designing, testing, and verifying complex systems. It brings formal methods into everyday software engineering workflows.

## What Quint Does

Quint lets you write executable specifications that describe how your system should behave. These specs can be simulated, tested, and formally verified — catching bugs before they reach production.

## Key Capabilities

- **Executable Specifications**: Write specs in a TypeScript-like syntax that are both human-readable and machine-verifiable
- **Simulation & Model Checking**: Explore system behaviors and verify properties across all possible states
- **Model-Based Testing**: Generate test scenarios from specifications to validate your implementation
- **Production Trace Validation**: Compare expected vs. actual behavior using real production data

## Products & Services

- **Quint Language** (Open Source): The core specification language and CLI tools — free and open source at https://github.com/informalsystems/quint
- **Quint Studio** (Commercial): Command center for capturing and validating behaviors from design through production
- **Quint Integration Services + Audits**: Expert-led behavioral correctness audits for critical systems

## Target Industries

- AI Infrastructure
- Blockchain & Fintech
- Cloud Infrastructure
- Distributed Systems

## Team

- Gabriela Moreira, CEO
- Arianne Flemming, COO
- Zarko Milosevic, CTO
- Josef Widder, Chief Scientist

Quint was originally built and incubated at Informal Systems to verify the correctness of complex distributed systems. It spun out into an independent company in 2025.

## Links

- Website: https://quint.sh
- Documentation: https://quint.sh/docs/getting-started
- GitHub: https://github.com/informalsystems/quint
- Blog: https://quint.sh/blog
- Product: https://quint.sh/product
- Audits: https://quint.sh/audits