Formális módszerek - Segédanyagok

Félév: 2020. tavasz
Title 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
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
EA10: Petri-hálók strukturális tulajdonságai. Hierarchikus Petri-hálók.
EA11: Színezett Petri-hálók
EA12: Sztochasztikus Petri-hálók
EA13: Gyakorló feladatok
ZH2 Segédanyagok
Félév: 2019. tavasz
Title 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
Syndicate content