Select an invariant
Verify
Made with
Apalache
and
Fresh
View Source