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.