Open hwayne opened 1 year ago
Now that there's an exercise directive I can start putting exercises in the text. What are some good ones? Feel free to drop them here and I'll add some I like
There's a multi-car elevator example in TLA+ that I'm fond of, because its conceptually simple, but has a pretty huge state space.
Now that there's an exercise directive I can start putting exercises in the text. What are some good ones? Feel free to drop them here and I'll add some I like