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