Solvingn the Santa Claus concurrency puzzle with a model checker

(wyounas.github.io)

16 points | by simplegeek 4 days ago ago

3 comments

  • lala_lala 19 hours ago ago

    Looks interesting. Like that the author modeled the failure scenario first before the correct one, it’s instructive. As other commenter pointed, a small typo in the title.

  • undefined 21 hours ago ago
    [deleted]
  • lacoolj 20 hours ago ago

    You just gonna leave the title with a typo?