Formális módszerek - Segédanyagok

Félév: 2016. tavasz
Cím Egyedi szöveg
EA05: Ekvivalencia ellenőrzés. A formális modellek alkalmazásai.
EA06: Állapottérképek. Modellezési mintapéldák.

A modellezési példák leírással és modellekkel együtt tölthetők le (ZIP fájlok).

ZH1: Gyakorló feladatok
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).

EA07: Petri hálók: alapelemek és kiterjesztések

A példamodellekhez használható PetriDotNet eszköz letölthető a szorgalmi feladat oldalról.

EA08: Petri hálók dinamikus tulajdonságai. Redukciók.
EA09: Petri hálók strukturális tulajdonságai. Modellezés Petri hálókkal.
EA10: Színezett Petri-hálók
ZH2: Gyakorló feladatok
EA11: Szoftver-modellellenőrzés
EA12: Sztochasztikus Petri hálók
Félév: 2015. tavasz
Cím Egyedi szöveg
EA00: tárgyadatok
EA01: A formális módszerek szerepe. Alapszintű formalizmusok.
EA02: Követelmények formalizálása temporális logikákkal
EA03: Modellellenőrzés
EA04: Hatékony technikák modellellenőrzéshez
EA05: A formális modellek alkalmazásai. Állapottérképek.
EA06: Modellezési mintapéldák

A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok).

ZH1: Gyakorló feladatok
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).

EA07: Petri hálók: alapelemek és kiterjesztések

A példamodellekhez használható PetriDotNet eszköz letölthető a szorgalmi feladat oldalról.

EA08: Petri hálók dinamikus tulajdonságai. Redukció. Alosztályok.
EA09: Petri hálók strukturális tulajdonságai. Invariánsok számítása
EA10: Modellezés Petri hálókkal. Hierarchikus Petri hálók.
EA11: Színezett Petri-hálók
Tartalom átvétel