MM01: Modellellenőrzési példák
Semester:
2011. tavasz
Tartalom:
Kölcsönös kizárási algoritmusok ellenőrzése
- Hyman algoritmusa
- Peterson algoritmusa
- Lamport algoritmusa
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
A mintapéldák leírással és modellekkel együtt ZIP fájlokban tölthetők le.
