Skip to content

informalsystems/quint

Error
Looks like something went wrong!

About

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

quint-lang.org

Topics

language verification specification formal-methods tlaplus quint apalache

Resources

Readme

License

Apache-2.0 license
Activity
Custom properties

Stars

942 stars

Watchers

24 watching

Forks

75 forks
Report repository

Releases 56

v0.25.1 Latest
Jun 5, 2025
+ 55 releases

Contributors 51

+ 37 contributors

Languages