Formális módszerek HOWTO
A tárgyról
- Régi, elavult linkek
Segédanyagok
Segédanyag az MSc-s 1. ZH-ra
- FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
- Temporális logika - LTL, CTL és társai
- Modellellenőrzés
- Bináris döntési diagramok - ROBDD
- Állapottérképek
- Bevezetés(TK 9-29)
- LTL operátorok, és kapcsolatuk
Segédanyag az MSc-s 2. ZH-ra
- FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
- Definíciók
- 2. Petri Hálók (TK 31-108)
- 2.1 Bevezetés
- 2.2 A petri hálók struktúrája
- 2.3 A Petri hálók dinamikus viselkedése
- 2.4 Token Játékok
- 2.5 Alkalmazási mintapéldák
- 2.6 Tulajdonság modellek
- 2.7 A Petri hálók analízis módszerei
- 2.8 Petri háló alosztályok
- 2.9 Analitikusan vizsgálható Petri háló alosztályok
- 2.10 Strukurális tulajdonságok
- 2.11 Invariánsok és alkalmazásaik
- 2.12 Kibővített értelmezésű Petri hálók
- FormModZH2Ossz
Tapasztalatok a segédeszközökkel
- DnaNet+Ina (Windows)
- Ped+Ina-t (Linux)
- SpinEdit
UPPAAL
UPPAAL academic. Java VM szükséges a futtatásához.
Régi anyagok
ZH
2003
ZH 2003.03 A csoport
ZH 2003.03 B csoport
ZH 2003.03 C csoport
ZH 2003.03 D csoport
2004
2005
2009
2010
ZH1 2010.03 A csoport
ZH1 2010.03 B csoport
2011
ZH1 2011 minta megoldás ötletek
ZH1 2011 minta
ZH2 2011 minta PN feladattípusok
Ismeretlen
Vizsga - Régi
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.
2006-os tananyaggal kapcsolatos hivatalos információk
- Formális módszerek 2002. jún. 11-i vizsga
- Formális módszerek 2004. máj. 26-i vizsga
- Formális módszerek 2004. jún. 2-i vizsga
- Formális módszerek 2006. máj. 31-i vizsga feladatok
- Formális módszerek 2006. jan. 18-i vizsga megoldása
- Formális módszerek 2007. jan. 17-ei vizsga
- FormModVizsga20070613
- FormModVizsga20080528
- FormModVizsga20080611
Házi feladat - Régi
Elérhetőek az új tanszéki weblapról: Kiírás - Segédeszközök
Bartha Tamás levele a házi feladattal kapcsolatban
Szöveges leírással megadott rendszert kell egyrészt Petri hálók segítségével modellezni és elemezni, másrészt modellellenőrzési módszerekkel verifikálni.
SAL telepítés Cygwinnel: http://sal-wiki.csl.sri.com/index.php/Cygwin_installation
Tapasztalatok az egyes feladatokkal
"A modellezés fázisában nem tiltott a feladatok szakmai konzultációja egymás közt, de kérjük, hogy alapvetően egyedül dolgozzanak."
Talált oldalak
Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - Koza (vita) 2014. június 9., 19:35 (UTC)
| 1. félév (tavasz) | |
|---|---|
| 2. félév (ősz) | |
| Egyéb | |
| Szakirányok | |
