npm

quint

Core tool for the Quint specification language and formal verification

brewmacoslinux
Try with needOr install directly
Source

About

Core tool for the Quint specification language

Commands

quint

Examples

Initialize a new Quint project$ quint new myproject
Check and validate a Quint specification file$ quint check specification.qnt
Run tests and verify properties in a Quint specification$ quint verify specification.qnt