informalsystems / quint

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

Alternatives and similar repositories for quint:

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