VIK Wiki - Felhasználó közreműködései [hu]

Formális módszerek

2015-03-05T00:11:49Z

Krassay Péter Sebestyén: /* ZH sorok */

{{GlobalTemplate|Infoalap|FormMod}}

{{Tantárgy
| név = Formális Módszerek
| tárgykód = VIMIM100
| szak = InfoMSC kötelező
| kredit = 4
| félév = tavasz
| kereszt = nincs
| tanszék = MIT
| jelenlét = nincs
| minmunka = 2ZH plusz házi
| labor = ősszel
| kiszh = 0
| nagyzh = 2
| hf = 1 + szorgalmi
| vizsga = nincs
| levlista = form{{kukac}}sch.bme.hu
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
}}

__TOC__

==A tárgyról==
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
* [[Formális módszerek HOWTO|Kedvcsináló]]
* Levlista:
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
* Régi, elavult linkek
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome

==Segédanyagok==
===Miből érdemes tanulni?===
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András]
* régi zh meg vizsgasorok (elég hasonló példák vannak néha)
* Előadásfóliák
* {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)
* {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf
===Segédanyag az MSc-s 1. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
** [[FormModVizsgaModEll|Modellellenőrzés]]
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
** [[FormModVizsgaAllapterkep|Állapottérképek]]
* [[FormModBev|Bevezetés]](TK 9-29)
* {{InLineFileLink|Infoalap|FormMod|Form_LTL.pdf|Form_LTL.pdf}}: Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]
===Segédanyag az MSc-s 2. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaPetri|Petri Hálók]]
* [[FormModDefiniciok|Definíciók]]
* 2. Petri Hálók (TK 31-108)
** 2.1 Bevezetés
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
** 2.4 [[FormModTokenJatek|Token Játékok]]
** 2.5 Alkalmazási mintapéldák
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
* [[FormModZH2Ossz]]
===Tapasztalatok a segédeszközökkel===
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
* [[FormModPed|Ped+Ina-t]] (Linux)
* [[FormModSpinEdit |SpinEdit]]
===UPPAAL===
* {{InLineFileLink|Infoalap|FormMod|uppaal-4.0.13.zip|uppaal-4.0.13.zip}}: UPPAAL academic Java VM szükséges a futtatásához.
===Régi anyagok===
* [[FormMiVoltAzOran|Mi volt az órán?]]

==ZH==
==== 2003 ====
[[:File:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]] 
[[:File:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]] 
[[:File:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]] 
[[:File:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]] 

==== 2004 ====
[[:File:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]

==== 2005 ====
[[:File:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]

==== 2009 ====
[[:File:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]

==== 2010 ====
[[:File:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]] 
[[:File:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]

==== 2011 ====
[[:File:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]] 
[[:File:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]] 
[[:File:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]

==== Ismeretlen ====
[[:File:form_zhkerdesek.docx | ZH kérdések]] 
[[:File:form_zhmegoldasok.pdf | ZH megoldások]]

==Vizsga==
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból. 
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]] 

* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
* [[FormModVizsga20070117|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: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]

[[FormModHfLevel|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 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."'''

* [[FormModHazi1tol7|Házi 1-7]]
* [[FormModHazi8tol14|Házi 8-14]]
* [[FormModHazi15tol21|Házi 15-21]]
* [[FormModHazi22tol28|Házi 22-28]]
* [[FormModHazi29tol35|Házi 29-35]]

== Talált oldalak ==

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
* [[Formális_módszerek_vizsga_tool]]

{{Lábléc - Mérnök informatikus mesterszak}}

Formális módszerek

2015-03-05T00:11:33Z

Krassay Péter Sebestyén: /* Kidolgozott zh sorok */

{{GlobalTemplate|Infoalap|FormMod}}

{{Tantárgy
| név = Formális Módszerek
| tárgykód = VIMIM100
| szak = InfoMSC kötelező
| kredit = 4
| félév = tavasz
| kereszt = nincs
| tanszék = MIT
| jelenlét = nincs
| minmunka = 2ZH plusz házi
| labor = ősszel
| kiszh = 0
| nagyzh = 2
| hf = 1 + szorgalmi
| vizsga = nincs
| levlista = form{{kukac}}sch.bme.hu
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
}}

__TOC__

==A tárgyról==
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
* [[Formális módszerek HOWTO|Kedvcsináló]]
* Levlista:
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
* Régi, elavult linkek
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome

==Segédanyagok==
===Miből érdemes tanulni?===
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András]
* régi zh meg vizsgasorok (elég hasonló példák vannak néha)
* Előadásfóliák
* {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)
* {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf
===Segédanyag az MSc-s 1. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
** [[FormModVizsgaModEll|Modellellenőrzés]]
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
** [[FormModVizsgaAllapterkep|Állapottérképek]]
* [[FormModBev|Bevezetés]](TK 9-29)
* {{InLineFileLink|Infoalap|FormMod|Form_LTL.pdf|Form_LTL.pdf}}: Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]
===Segédanyag az MSc-s 2. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaPetri|Petri Hálók]]
* [[FormModDefiniciok|Definíciók]]
* 2. Petri Hálók (TK 31-108)
** 2.1 Bevezetés
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
** 2.4 [[FormModTokenJatek|Token Játékok]]
** 2.5 Alkalmazási mintapéldák
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
* [[FormModZH2Ossz]]
===Tapasztalatok a segédeszközökkel===
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
* [[FormModPed|Ped+Ina-t]] (Linux)
* [[FormModSpinEdit |SpinEdit]]
===UPPAAL===
* {{InLineFileLink|Infoalap|FormMod|uppaal-4.0.13.zip|uppaal-4.0.13.zip}}: UPPAAL academic Java VM szükséges a futtatásához.
===Régi anyagok===
* [[FormMiVoltAzOran|Mi volt az órán?]]

==ZH==
===ZH sorok===
==== 2003 ====
[[:File:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]] 
[[:File:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]] 
[[:File:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]] 
[[:File:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]] 

==== 2004 ====
[[:File:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]

==== 2005 ====
[[:File:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]

==== 2009 ====
[[:File:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]

==== 2010 ====
[[:File:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]] 
[[:File:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]

==== 2011 ====
[[:File:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]] 
[[:File:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]] 
[[:File:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]

==== Ismeretlen ====
[[:File:form_zhkerdesek.docx | ZH kérdések]] 
[[:File:form_zhmegoldasok.pdf | ZH megoldások]]

==Vizsga==
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból. 
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]] 

* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
* [[FormModVizsga20070117|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: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]

[[FormModHfLevel|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 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."'''

* [[FormModHazi1tol7|Házi 1-7]]
* [[FormModHazi8tol14|Házi 8-14]]
* [[FormModHazi15tol21|Házi 15-21]]
* [[FormModHazi22tol28|Házi 22-28]]
* [[FormModHazi29tol35|Házi 29-35]]

== Talált oldalak ==

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
* [[Formális_módszerek_vizsga_tool]]

{{Lábléc - Mérnök informatikus mesterszak}}

Formális módszerek

2015-03-05T00:10:58Z

Krassay Péter Sebestyén: /* Egyéb ZH sorok */

{{GlobalTemplate|Infoalap|FormMod}}

{{Tantárgy
| név = Formális Módszerek
| tárgykód = VIMIM100
| szak = InfoMSC kötelező
| kredit = 4
| félév = tavasz
| kereszt = nincs
| tanszék = MIT
| jelenlét = nincs
| minmunka = 2ZH plusz házi
| labor = ősszel
| kiszh = 0
| nagyzh = 2
| hf = 1 + szorgalmi
| vizsga = nincs
| levlista = form{{kukac}}sch.bme.hu
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
}}

__TOC__

==A tárgyról==
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
* [[Formális módszerek HOWTO|Kedvcsináló]]
* Levlista:
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
* Régi, elavult linkek
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome

==Segédanyagok==
===Miből érdemes tanulni?===
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András]
* régi zh meg vizsgasorok (elég hasonló példák vannak néha)
* Előadásfóliák
* {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)
* {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf
===Segédanyag az MSc-s 1. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
** [[FormModVizsgaModEll|Modellellenőrzés]]
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
** [[FormModVizsgaAllapterkep|Állapottérképek]]
* [[FormModBev|Bevezetés]](TK 9-29)
* {{InLineFileLink|Infoalap|FormMod|Form_LTL.pdf|Form_LTL.pdf}}: Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]
===Segédanyag az MSc-s 2. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaPetri|Petri Hálók]]
* [[FormModDefiniciok|Definíciók]]
* 2. Petri Hálók (TK 31-108)
** 2.1 Bevezetés
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
** 2.4 [[FormModTokenJatek|Token Játékok]]
** 2.5 Alkalmazási mintapéldák
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
* [[FormModZH2Ossz]]
===Tapasztalatok a segédeszközökkel===
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
* [[FormModPed|Ped+Ina-t]] (Linux)
* [[FormModSpinEdit |SpinEdit]]
===UPPAAL===
* {{InLineFileLink|Infoalap|FormMod|uppaal-4.0.13.zip|uppaal-4.0.13.zip}}: UPPAAL academic Java VM szükséges a futtatásához.
===Régi anyagok===
* [[FormMiVoltAzOran|Mi volt az órán?]]

==ZH==
===Kidolgozott zh sorok ===
* [[Formális Módszerek ZH 2005. 04. 07. (B csoport)]]
* [[FormModZh2004|2004 tavaszi zh megoldás]]
* {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása
===ZH sorok===
==== 2003 ====
[[:File:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]] 
[[:File:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]] 
[[:File:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]] 
[[:File:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]] 

==== 2004 ====
[[:File:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]

==== 2005 ====
[[:File:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]

==== 2009 ====
[[:File:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]

==== 2010 ====
[[:File:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]] 
[[:File:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]

==== 2011 ====
[[:File:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]] 
[[:File:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]] 
[[:File:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]

==== Ismeretlen ====
[[:File:form_zhkerdesek.docx | ZH kérdések]] 
[[:File:form_zhmegoldasok.pdf | ZH megoldások]]

==Vizsga==
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból. 
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]] 

* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
* [[FormModVizsga20070117|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: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]

[[FormModHfLevel|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 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."'''

* [[FormModHazi1tol7|Házi 1-7]]
* [[FormModHazi8tol14|Házi 8-14]]
* [[FormModHazi15tol21|Házi 15-21]]
* [[FormModHazi22tol28|Házi 22-28]]
* [[FormModHazi29tol35|Házi 29-35]]

== Talált oldalak ==

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
* [[Formális_módszerek_vizsga_tool]]

{{Lábléc - Mérnök informatikus mesterszak}}

Formális módszerek

2015-03-05T00:10:34Z

Krassay Péter Sebestyén: /* MSc-s zh sorok */

{{GlobalTemplate|Infoalap|FormMod}}

{{Tantárgy
| név = Formális Módszerek
| tárgykód = VIMIM100
| szak = InfoMSC kötelező
| kredit = 4
| félév = tavasz
| kereszt = nincs
| tanszék = MIT
| jelenlét = nincs
| minmunka = 2ZH plusz házi
| labor = ősszel
| kiszh = 0
| nagyzh = 2
| hf = 1 + szorgalmi
| vizsga = nincs
| levlista = form{{kukac}}sch.bme.hu
| tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/
| tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form
}}

__TOC__

==A tárgyról==
* [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''
* [[Formális módszerek HOWTO|Kedvcsináló]]
* Levlista:
** form{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]
** infomsc{{kukac}}sch.bme.hu -> [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]
* Régi, elavult linkek
** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome

==Segédanyagok==
===Miből érdemes tanulni?===
* Formális módszerek az informatikában ([http://www.typotex.hu/ Typotex]) - [http://www.informatik.uni-hamburg.de/TGI/pnbib/p/pataricza_a.html Pataricza András]
* régi zh meg vizsgasorok (elég hasonló példák vannak néha)
* Előadásfóliák
* {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)
* {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf
===Segédanyag az MSc-s 1. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai
** [[FormModVizsgaModEll|Modellellenőrzés]]
** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]
** [[FormModVizsgaAllapterkep|Állapottérképek]]
* [[FormModBev|Bevezetés]](TK 9-29)
* {{InLineFileLink|Infoalap|FormMod|Form_LTL.pdf|Form_LTL.pdf}}: Form könyvből az LTL-es rész nagyon csúnyán (de használhatóan) kiszkennelve
* [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]
===Segédanyag az MSc-s 2. ZH-ra===
* FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
** [[FormModVizsgaPetri|Petri Hálók]]
* [[FormModDefiniciok|Definíciók]]
* 2. Petri Hálók (TK 31-108)
** 2.1 Bevezetés
** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]
** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]
** 2.4 [[FormModTokenJatek|Token Játékok]]
** 2.5 Alkalmazási mintapéldák
** 2.6 [[FormModTudMod|Tulajdonság modellek]]
** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]
** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]]
** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]
** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]
** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]
** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]
* [[FormModZH2Ossz]]
===Tapasztalatok a segédeszközökkel===
* [[FormModDnaNet|DnaNet+Ina]] (Windows)
* [[FormModPed|Ped+Ina-t]] (Linux)
* [[FormModSpinEdit |SpinEdit]]
===UPPAAL===
* {{InLineFileLink|Infoalap|FormMod|uppaal-4.0.13.zip|uppaal-4.0.13.zip}}: UPPAAL academic Java VM szükséges a futtatásához.
===Régi anyagok===
* [[FormMiVoltAzOran|Mi volt az órán?]]

==ZH==
===Kidolgozott zh sorok ===
* [[Formális Módszerek ZH 2005. 04. 07. (B csoport)]]
* [[FormModZh2004|2004 tavaszi zh megoldás]]
* {{InLineFileLink|Infoalap|FormMod|form_zhmegoldasok.pdf|form_zhmegoldasok.pdf}}: 2006 őszi ZH megoldása
===ZH sorok===
==== 2003 ====
[[:File:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]] 
[[:File:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]] 
[[:File:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]] 
[[:File:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]] 

==== 2004 ====
[[:File:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]

==== 2005 ====
[[:File:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]

==== 2009 ====
[[:File:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]

==== 2010 ====
[[:File:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]] 
[[:File:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]

==== 2011 ====
[[:File:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]] 
[[:File:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]] 
[[:File:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]

==== Ismeretlen ====
[[:File:form_zhkerdesek.docx | ZH kérdések]] 
[[:File:form_zhmegoldasok.pdf | ZH megoldások]]

===Egyéb ZH sorok===
* {{InLineFileLink|Infoalap|FormMod|FormZH2003tavaszO.pdf|FormZH2003tavaszO.pdf}}: ZH 2003 tavasz Osszes csoport
* {{InLineFileLink|Infoalap|FormMod|FormZH2005tavaszB.pdf|FormZH2005tavaszB.pdf}}: ZH 2005 tavasz B csoport
==Vizsga==
MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból. 
[[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]] 

* [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]
* [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]
* [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]
* [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]
* [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]
* [[FormModVizsga20070117|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: [https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome Kiírás] - [http://sauron.inf.mit.bme.hu/Edu/FormModsz/2007/Form07.nsf/Segedeszkozok?OpenPage Segédeszközök]

[[FormModHfLevel|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 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."'''

* [[FormModHazi1tol7|Házi 1-7]]
* [[FormModHazi8tol14|Házi 8-14]]
* [[FormModHazi15tol21|Házi 15-21]]
* [[FormModHazi22tol28|Házi 22-28]]
* [[FormModHazi29tol35|Házi 29-35]]

== Talált oldalak ==

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - [[Szerkesztő:Kiskoza|Koza]] ([[Szerkesztővita:Kiskoza|vita]]) 2014. június 9., 19:35 (UTC)
* [[Formális_módszerek_vizsga_tool]]

{{Lábléc - Mérnök informatikus mesterszak}}

Fájl:Form zhmegoldasok.pdf

2015-03-05T00:07:33Z