An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Why do you think that https://github.com/pfeodrippe/recife is a good alternative to quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Why do you think that https://github.com/pfeodrippe/recife is a good alternative to quint