informalsystems / quint

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

Alternatives and similar repositories for quint:

Users that are interested in quint are comparing it to the libraries listed below