Formális módszerek - Segédanyagok

Félév: 2018. 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 Állapottérképek
ZH1: Segédanyagok
EA06: Szoftverek modellellenőrzése. Modellezési mintapélda.
EA07: Modellezési mintapéldák
HF: Modellellenőrzési példák

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

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

PetriDotNet eszköz és dokumentáció: ld. a szorgalmi feladat web lapján.

EA09: Petri hálók dinamikus tulajdonságai. Redukciók.
Félév: 2017. 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 Állapottérképek. Tesztgenerálás modellellenőrzővel.
ZH1 segédanyagok
EA06: Szoftverek modellellenőrzése. HF mintapéldák.
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. Petri hálók analízise.
EA10: Hierarchikus Petri hálók. Színezett Petri hálók.
Tartalom átvétel