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

935 stars

Watchers

25 watching

Forks

68 forks
Report repository

Releases 54

v0.25.0 Latest
May 28, 2025
+ 53 releases

Contributors 48
+ 34 contributors

Languages