Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.
studypromelaspindijkstra-algorithmmutual-exclusion-algorithmpeterson-algorithmdekker-algorithmcrossroad-controller-algorithm
-
Updated
Sep 4, 2024 - Promela