pieterjansevanrensburg / model-verification-dining-philosophers-problem

Using PROMELA and SPIN to check the dining philosophers' problem for race conditions.

https://en.wikipedia.org/wiki/Dining_philosophers_problem

Geek Repo

Github PK Tool