An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Here you can share your experience with the project you are suggesting or its comparison with quint. Optional.
A valid email to send you a verification link when necessary or log in.