Hacker News new | ask | show | jobs
by romac 1934 days ago
Direct link to the Apalache model checker: https://apalache.informal.systems/