GY01: Modellellenőrzési példák
Semester:
2013. tavasz
A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok):
- Kölcsönös kizárási algoritmusok ellenőrzése: Hyman, Peterson, Lamport algoritmusai
- Konszenzus protokoll ellenőrzése: A Paxos protokoll egy egyszerűsített verziója
- Feladatvégző fürt ellenőrzése: Feladatvégző egységek gyűrű struktúrában
Download: