项目描述 ：
Using PROMELA and SPIN to check the dining philosophers' problem for race conditions.

高级语言：

项目主页： https://en.wikipedia.org/wiki/Dining_philosophers_problem

项目地址: git://github.com/pieterjansevanrensburg/model-verification-dining-philosophers-problem.git

创建时间： 2021-03-24T12:21:18Z
项目社区：https://github.com/pieterjansevanrensburg/model-verification-dining-philosophers-problem
开源协议：GNU Affero General Public License v3.0
下载