TLA+ definitely. The lowest rung on the ladder is actually reachable. | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

ocschwar on Oct 12, 2022 | parent | context | favorite | on: Verifying distributed systems with Isabelle/HOL

TLA+ definitely. The lowest rung on the ladder is actually reachable.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact