Formális módszerek - Segédanyagok

Félév: 2016. tavasz
Cím	Egyedi szöveg
EA08: Petri hálók dinamikus tulajdonságai. Redukciók.	Petri hálók dinamikus tulajdonságai Redukciók az állapottérben és a Petri háló struktúrájában
EA09: Petri hálók strukturális tulajdonságai. Modellezés Petri hálókkal.	Petri hálók strukturális tulajdonságai. Invariánsok számítása. Modellezés Petri hálókkal Hierarchikus Petri hálók Példamodell: Az Alternating Bit Protocol
EA10: Színezett Petri-hálók	Színezett Petri hálók Színezett Petri hálók mintapélda
ZH2: Gyakorló feladatok	ZH2 minta feladatsor (1) ZH2 minta feladatsor (2) ZH2 színezett Petri háló mintapélda ZH2 dinamikus tulajdonságok vizsgálata
EA11: Szoftver-modellellenőrzés	Szoftver-modellellenőrzés absztrakciós módszerekkel
EA12: Sztochasztikus Petri hálók	Sztochasztikus Petri hálók

Félév: 2015. tavasz
Cím	Egyedi szöveg
EA00: tárgyadatok	Tárgyadatok
EA01: A formális módszerek szerepe. Alapszintű formalizmusok.	A formális módszerek szerepe Alapszintű formalizmusok
EA02: Követelmények formalizálása temporális logikákkal	Lineáris idejű temporális logikák Elágazó idejű temporális logikák
EA03: Modellellenőrzés	Modellellenőrzés A PSL tulajdonságleíró nyelv és használata
EA04: Hatékony technikák modellellenőrzéshez	Szimbolikus modellellenőrzés és ROBDD-k Korlátos modellellenőrzés
EA05: A formális modellek alkalmazásai. Állapottérképek.	Tesztgenerálás modellellenőrzővel Forráskód és monitorkód generálás Állapottérképek: szintaxis és szemantika
EA06: Modellezési mintapéldák	A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok). Alternáló bit protokoll Kockajáték
ZH1: Gyakorló feladatok	Minta feladatsor (1) Minta feladatsor (2) Gyakorló feladatok temporális logikákhoz Gyakorló feladatok temporális logikákhoz, megoldással ZH mintapéldák (diasor)
HF1: Modellellenőrzési példák	A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok). Futási szálak kezelése Kölcsönös kizárás (Hyman, Peterson, Lamport algoritmusok) Konszenzus (egyszerűsített Paxos protokoll) Feladatvégző fürt
EA07: Petri hálók: alapelemek és kiterjesztések	A példamodellekhez használható PetriDotNet eszköz letölthető a szorgalmi feladat oldalról. Petri hálók: alapelemek és kiterjesztések Példamodellek (PetriDotNet eszközhöz)
EA08: Petri hálók dinamikus tulajdonságai. Redukció. Alosztályok.	Petri hálók dinamikus tulajdonságai Petri hálók redukciója Petri hálók alosztályai
EA09: Petri hálók strukturális tulajdonságai. Invariánsok számítása	Petri hálók strukturális tulajdonságai. Invariánsok számítása. Petri hálók strukturális és dinamikus tulajdonságai közti összefüggések
EA10: Modellezés Petri hálókkal. Hierarchikus Petri hálók.	Modellezés Petri hálókkal. Hierarchikus Petri hálók.
EA11: Színezett Petri-hálók	Bevezető a színezett Petri-hálókhoz (egy példa) Színezett Petri-hálók
EA12: Sztochasztikus Petri hálók	Sztochasztikus Petri hálók
ZH2: Gyakorló feladatok	Minta feladatsor (1) Minta feladatsor (2)
EA13: Absztrakció a modellellenőrzésben	Absztrakciós módszerek a modellellenőrzésben (diasor) Absztrakciós módszerek a modellellenőrzésben (demo)
EA14: Adatfolyam hálók	Adatfolyam hálók

Félév: 2014. tavasz
Cím	Egyedi szöveg
EA00: Tárgyadatok	Tárgyadatok