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