quint-co/quint

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

↗ Open on GitHub

Stars

1,654

Forks

144

Language

TypeScript

License

Apache-2.0

Last push

3 weeks ago

TypeScript language formal-methods verification specification tlaplus apalache quint specification-language

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.