ModelVerificationDiningPhilosophersProblem

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

Name		Name	Last commit message	Last commit date
LICENSE		LICENSE
README.md		README.md
dining_philosophers_problem-automata.2.pdf		dining_philosophers_problem-automata.2.pdf
dining_philosophers_problem-automata.pdf		dining_philosophers_problem-automata.pdf
dining_philosophers_problem.pml		dining_philosophers_problem.pml

Navigation Menu