Direct link to the Apalache model checker: https://apalache.informal.systems/