informalsystems/quint

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