Model Checking, Tla Plus, TLC, Java, Concurrency.
between 0 and 50 milliseconds. After a few hours — and because the fans in his cheap laptop are starting to produce a foul smelling smoke — he gives up and decides to try a different combination of parameters. After many attempts, a combination of parameters finally produces a deadlock in less than