/model-verification-dining-philosophers-problem

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

GNU Affero General Public License v3.0AGPL-3.0

ModelVerificationDiningPhilosophersProblem

The purpose of this project is to use PROMELA to model a program which solves the dining philosophers' problem using channels.