3 ms·

I'm interested in learning how to formally express distributed systems but have limited time. Does anyone have any insight into which would be better to learn

by oa335 4y ago

I'm interested in learning how to formally express distributed systems but have limited time. Does anyone have any insight into which would be better to learn - TLA+/PlusCal (e.g. Hillel Wayne's courses) or Isabelle/HOL?

ocschwar 4y ago
TLA+ definitely. The lowest rung on the ladder is actually reachable.