- [[TLA+]]を[[SAT Solver]]で検証する - https://apalache-mc.org/ - ドキュメント: https://apalache-mc.org/docs/index.html