Simulating Elevators in TLA+ is a fun exercise.<a href="https://github.com/tlaplus/Examples/blob/master/specifications/MultiCarElevator/Elevator.tla" rel="nofollow">https://github.com/tlaplus/Examples/blob/master/specificatio...Another interesting, and underrated one: hotel keys.
agentultra · · focus · HN ↗
<a href="https://github.com/tlaplus/Examples/blob/master/specifications/MultiCarElevator/Elevator.tla" rel="nofollow">https://github.com/tlaplus/Examples/blob/master/specificatio...
Another interesting, and underrated one: hotel keys.