4 ms·
Direct link to the Apalache model checker: https://apalache.informal.systems/ https://apalache.informal.systems/
by romac 6y ago
Direct link to the Apalache model checker: https://apalache.informal.systems/ https://apalache.informal.systems/
loading thread…