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

		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.