Ecosystem Vision Logo
Quint logo

Quint

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: Developer Tooling

Description

Quint provides an open-source typed executable specification language and core tooling for describing system behavior, checking properties, exploring behaviors, and model-based testing. Its offering also includes Quint Studio, which carries executable system descriptions from design validation into testing and production mismatch detection, aimed at correctness-critical distributed, AI infrastructure, blockchain/fintech, and cloud systems.

Technology & Skills

Uncover the hard and soft skills and tools employed by the organization, and gain insight into the technologies that drive their success
FORMAL SPECIFICATION
SYMBOLIC MODEL CHECKING
IBC
BLOCKCHAIN
COSMOS SDK
OPERATIONS
GO
MODEL-BASED TESTING
TLA+
TENDERMINT
APALACHE
RESEARCH
FORMAL VERIFICATION