quint-co / quint

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