Solvingn the Santa Claus concurrency puzzle with a model checker (opens in new tab)

(wyounas.github.io)

16 pointssimplegeek1mo ago2 comments

2 comments

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.

lacoolj1mo ago

You just gonna leave the title with a typo?

j / k navigate · click thread line to collapse

Solvingn the Santa Claus concurrency puzzle with a model checker (opens in new tab)

(wyounas.github.io)

16 pointssimplegeek1mo ago2 comments

2 comments

lala_lala1mo 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.

lacoolj1mo ago

You just gonna leave the title with a typo?

j / k navigate · click thread line to collapse