serverbox
serverbox copied to clipboard
Update scheduler's TLA+ model to make it do random stop/start of the threads
There hardly can be any issues with that, but just for the sake of having the code exactly reflected to TLA+ lets do it anyway.