How to Solve Santa Claus Concurrency Puzzle with a Model Checker

wyounas.github.io