The purpose of this project is to use PROMELA to model a program which solves the dining philosophers' problem using channels.
pieterjansevanrensburg/model-verification-dining-philosophers-problem
Using PROMELA and SPIN to check the dining philosophers' problem for race conditions.
AGPL-3.0