Solvingn the Santa Claus concurrency puzzle with a model checker(wyounas.github.io)16 points by simplegeek 108 days ago | 2 comments