11 ms·
Anyone know of some good free software TLA+ model checkers? The "Other Tooling" mentions one alternative checker, https://apalache.informal.systems/ https://apa
by eikenberry 4y ago
Anyone know of some good free software TLA+ model checkers? The "Other Tooling" mentions one alternative checker, https://apalache.informal.systems/ https://apalache.informal.systems/, but that's all I could find. Thanks.