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 Goto Github PK
View Code? Open in Web Editor NEWUsing PROMELA and SPIN to check the dining philosophers' problem for race conditions.
Home Page: https://en.wikipedia.org/wiki/Dining_philosophers_problem
License: GNU Affero General Public License v3.0