MM01: Modellellenőrzési példák

Semester: 
2012. 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