Formális módszerek - Segédanyagok
Cím | Egyedi szöveg |
---|---|
HF: Házi feladat | |
ZH2: Mintafeladatok |
Cím | Egyedi szöveg | ||
---|---|---|---|
EA01: A formális módszerek szerepe |
Az előadás tartalma:
|
||
EA02: Alapszintű formalizmusok és lineáris idejű temporális logikák |
Az előadás anyaga: Alapszintű formalizmusok:
Lineáris idejű temporális logikák:
|
||
EA03: Elágazó idejű temporális logikák |
Az előadás anyaga:
|
||
EA04: Modellellenőrzés |
Az előadás anyaga:
|
||
EA05: Szimbolikus modellellenőrzés és ROBDD-k |
Az előadás anyaga:
|
||
EA06: Korlátos modellellenőrzés |
Az előadás anyaga:
|
||
EA07: Modellezési és modellellenőrzési mintapélda (házi feladathoz) |
Az előadás anyaga:
|
||
MM01: Modellellenőrzési példák |
A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok):
|
||
EA08: Állapottérképek és forráskód generálás |
Az előadás anyaga:
|
||
ZH1: Mintafeladatok az első zárthelyihez |
A letölthető anyagok:
|
||
EA09: Petri háló alapfogalmak, kiterjesztések |
Petri hálók felépítése, működése Dinamikus viselkedés: engedélyezettség, tüzelés, állapottrajektória
Petri háló modellek készítése, alapvető modellkonstrukciók Egyszerű példák Petri hálókra Kiterjesztett Petri hálók: a tüzelési szemantika módosítása
|
||
EA10: Petri hálók dinamikus tulajdonságai |
Az előadás tartalma: Elérhetőség fogalma, tulajdonságai
Petri hálók dinamikus (viselkedési) tulajdonságai
Állapottér reprezentációk: az elérhetőségi és fedési gráf
Dinamikus tulajdonságok vizsgálata az állapottérben |
||
EA11: Modellezés és szimuláció Petri hálókkal |
Az előadás tartalma: Diszkrét rendszermodellezés alapjai Modellező eszközök: DNAnet, Snoopy, PetriDotNet Modellezési példa: Alternáló bit protokol Petri háló modellek „tesztelése”: szimuláció, token játék algoritmusai
|
||
EA12: Elérhetőségi probléma egyszerűsítése, Petri háló alosztályok |
Az előadás tartalma: Elérhetőségi probléma egyszerűsítése
Egyszerű struktúrájú Petri hálók viselkedése
|
||
EA13: Petri hálók strukturális tulajdonságai |
Az előadás tartalma: Invariánsok fogalma
Petri hálók további strukturális tulajdonságai
Példa Petri háló modell analízisére: Alternáló bit protokoll |
||
EA14: Színezett Petri hálók (1. rész) |
Az előadás tartalma:
|
||
EA15: Színezett Petri hálók (2. rész) |
Az előadás tartalma:
|
||
EA16: Adatfolyam hálók, modellfinomítás. Hierarchikus Petri hálók |
Az előadás tartalma: Adatfolyam hálók:
Hierarchikus Petri hálók, modellfinomítás
|
||
ZH2: Petri hálós előadások fóliái nyomtatáshoz |
A mellékelt PDF fájlok az alábbi előadások anyagát tartalmazzák nyomtatásra alkalmas (fehér háttér, fekete betűk, szürkeárnyalatos ábrák) formában:
|
||
EA17: Sztochasztikus Petri hálók |
Az előadás anyaga:
|
||
ZH2: Mintafeladatok a második zárthelyihez |
A letölthető anyag:
|
Cím | Egyedi szöveg |
---|---|
EA01 A formális módszerek szerepe |
Az előadás tartalma:
|
EA02 Temporális logikák |
Az előadás tartalma:
|