Giters

pieterjansevanrensburg / model-verification-dining-philosophers-problem

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

Home Page:https://en.wikipedia.org/wiki/Dining_philosophers_problem

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

model-checkingpromelaspindining-philosophers-problem

ModelVerificationDiningPhilosophersProblem

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

About

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

https://en.wikipedia.org/wiki/Dining_philosophers_problem

model-checkingpromelaspindining-philosophers-problem

License:GNU Affero General Public License v3.0