https://vik.wiki/api.php?action=feedcontributions&feedformat=atom&user=Okos+D%C3%A1niel VIK Wiki - Felhasználó közreműködései [hu] 2026-04-23T21:28:49Z Felhasználó közreműködései MediaWiki 1.43.6 https://vik.wiki/index.php?title=Form%C3%A1lis_m%C3%B3dszerek&diff=188451 Formális módszerek 2016-03-09T22:45:45Z <p>Okos Dániel: /* UPPAAL */</p> <hr /> <div>{{GlobalTemplate|Infoalap|FormMod}}<br /> <br /> {{Tantárgy<br /> | név = Formális Módszerek<br /> | tárgykód = VIMIM100<br /> | szak = InfoMSC kötelező<br /> | kredit = 4<br /> | félév = tavasz<br /> | kereszt = nincs<br /> | tanszék = MIT<br /> | jelenlét = nincs<br /> | minmunka = 2ZH plusz házi<br /> | labor = ősszel<br /> | kiszh = 0<br /> | nagyzh = 2<br /> | hf = 1 + szorgalmi<br /> | vizsga = nincs<br /> | levlista = form{{kukac}}sch.bme.hu<br /> | tad = https://www.vik.bme.hu/kepzes/targyak/vimim100/<br /> | tárgyhonlap = https://www.inf.mit.bme.hu/edu/courses/form<br /> }}<br /> <br /> __TOC__<br /> <br /> ==A tárgyról==<br /> * [[Tantárgynevek rövidítései levlistás levelek tárgyához|Ajánlott rövidítés]]: '''Form'''<br /> * [[Formális módszerek HOWTO|Kedvcsináló]]<br /> * Levlista:<br /> ** form{{kukac}}sch.bme.hu -&gt; [https://lists.sch.bme.hu/wws/subscribe/form feliratkozás]<br /> ** infomsc{{kukac}}sch.bme.hu -&gt; [https://lists.sch.bme.hu/wws/subscribe/infomsc feliratkozás]<br /> * Régi, elavult linkek<br /> ** Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome<br /> <br /> ==Segédanyagok==<br /> ===Miből érdemes tanulni?===<br /> * 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]<br /> * régi zh meg vizsgasorok (elég hasonló példák vannak néha)<br /> * Előadásfóliák<br /> * {{InLineFileLink|Infoalap|FormMod|formcucc.pdf|formcucc.pdf}}: Zh/vizsgya feladatok kidolgozva (Form Zh How to)<br /> * {{InLineFileLink|Infoalap|FormMod|FormJegyzet2006Osz.pdf|FormJegyzet2006Osz.pdf}}: FormJegyzet2006Osz.pdf<br /> ===Segédanyag az MSc-s 1. ZH-ra===<br /> * FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve<br /> ** [[FormModVizsgaTempLog|Temporális logika]] - LTL, CTL és társai<br /> ** [[FormModVizsgaModEll|Modellellenőrzés]]<br /> ** [[FormModVizsgaRobdd|Bináris döntési diagramok - ROBDD]]<br /> ** [[FormModVizsgaAllapterkep|Állapottérképek]]<br /> * [[FormModBev|Bevezetés]](TK 9-29)<br /> * {{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<br /> * [[FormModOperatorok|LTL operátorok, és kapcsolatuk]]<br /> ===Segédanyag az MSc-s 2. ZH-ra===<br /> * FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve<br /> ** [[FormModVizsgaPetri|Petri Hálók]]<br /> * [[FormModDefiniciok|Definíciók]]<br /> * 2. Petri Hálók (TK 31-108)<br /> ** 2.1 Bevezetés<br /> ** 2.2 [[FormModPetriStrukt|A petri hálók struktúrája]]<br /> ** 2.3 [[FormModPetriDinam|A Petri hálók dinamikus viselkedése]]<br /> ** 2.4 [[FormModTokenJatek|Token Játékok]]<br /> ** 2.5 Alkalmazási mintapéldák<br /> ** 2.6 [[FormModTudMod|Tulajdonság modellek]]<br /> ** 2.7 [[FormModPetriAnal|A Petri hálók analízis módszerei]]<br /> ** 2.8 [[FormModPetriAloszt|Petri háló alosztályok]] <br /> ** 2.9 [[FormModPetriAlosztAnal|Analitikusan vizsgálható Petri háló alosztályok]]<br /> ** 2.10 [[FormModPetriStruktTul|Strukurális tulajdonságok]]<br /> ** 2.11 [[FormModInvar|Invariánsok és alkalmazásaik]]<br /> ** 2.12 [[FormModPetriBovit|Kibővített értelmezésű Petri hálók]]<br /> * [[FormModZH2Ossz]]<br /> ===Tapasztalatok a segédeszközökkel===<br /> * [[FormModDnaNet|DnaNet+Ina]] (Windows)<br /> * [[FormModPed|Ped+Ina-t]] (Linux)<br /> * [[FormModSpinEdit |SpinEdit]] <br /> ===UPPAAL===<br /> * [[:Media:uppaal-4.0.14-aca.zip | UPPAAL 4.0.14]]<br /> UPPAAL academic. Java VM szükséges a futtatásához.<br /> <br /> ===Régi anyagok===<br /> * [[FormMiVoltAzOran|Mi volt az órán?]]<br /> <br /> ==ZH==<br /> ==== 2003 ====<br /> [[:Media:form_ZH_2003_03_A.pdf | ZH 2003.03 A csoport]]&lt;br /&gt;<br /> [[:Media:form_ZH_2003_03_B.pdf | ZH 2003.03 B csoport]]&lt;br /&gt;<br /> [[:Media:form_ZH_2003_03_C.pdf | ZH 2003.03 C csoport]]&lt;br /&gt;<br /> [[:Media:form_ZH_2003_03_D.pdf | ZH 2003.03 D csoport]]&lt;br /&gt;<br /> <br /> ==== 2004 ====<br /> [[:Media:form_ZH_2004_03_A.pdf | ZH 2004.03 A csoport]]<br /> <br /> ==== 2005 ====<br /> [[:Media:form_ZH_2005_04_B.pdf | ZH 2005.04 B csoport]]<br /> <br /> ==== 2009 ====<br /> [[:Media:form_ZH2_2009_05_A.pdf | ZH2 2009.05 A csoport]]<br /> <br /> ==== 2010 ====<br /> [[:Media:form_ZH1_2010_03_A.pdf | ZH1 2010.03 A csoport]]&lt;br /&gt;<br /> [[:Media:form_ZH1_2010_03_B.pdf | ZH1 2010.03 B csoport]]<br /> <br /> ==== 2011 ====<br /> [[:Media:form_ZH1_2011_minta_megoldas_otletek.pdf | ZH1 2011 minta megoldás ötletek]]&lt;br /&gt;<br /> [[:Media:form_ZH1_2011_minta_zh.pdf | ZH1 2011 minta]]&lt;br /&gt;<br /> [[:Media:form_ZH2_2011_minta_PN_feladattipusok.pdf | ZH2 2011 minta PN feladattípusok]]<br /> <br /> ==== Ismeretlen ====<br /> [[:Media:form_zhkerdesek.docx | ZH kérdések]]&lt;br /&gt;<br /> [[:Media:form_zhmegoldasok.pdf | ZH megoldások]]<br /> <br /> ==Vizsga==<br /> MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.&lt;br/&gt;<br /> [[FormModTananyag2006|2006-os tananyaggal kapcsolatos hivatalos információk]]&lt;br/&gt;<br /> <br /> * [[FormModVizsga20020611|Formális módszerek 2002. jún. 11-i vizsga]]<br /> * [[FormModVizsga20040526|Formális módszerek 2004. máj. 26-i vizsga]]<br /> * [[FormModVizsga20040602|Formális módszerek 2004. jún. 2-i vizsga]]<br /> * [[FormModVizsga20060531Feladatok|Formális módszerek 2006. máj. 31-i vizsga feladatok]]<br /> * [[FormModVizsga20060118Megoldas|Formális módszerek 2006. jan. 18-i vizsga megoldása]]<br /> * [[FormModVizsga20070117|Formális módszerek 2007. jan. 17-ei vizsga]]<br /> * [[FormModVizsga20070613]]<br /> * [[FormModVizsga20080528]]<br /> * [[FormModVizsga20080611]]<br /> <br /> ==Házi feladat - Régi==<br /> 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]<br /> <br /> [[FormModHfLevel|Bartha Tamás levele a házi feladattal kapcsolatban]]<br /> <br /> 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'''.<br /> <br /> 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]<br /> <br /> ===Tapasztalatok az egyes feladatokkal===<br /> '''&quot;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.&quot;'''<br /> <br /> * [[FormModHazi1tol7|Házi 1-7]]<br /> * [[FormModHazi8tol14|Házi 8-14]]<br /> * [[FormModHazi15tol21|Házi 15-21]]<br /> * [[FormModHazi22tol28|Házi 22-28]]<br /> * [[FormModHazi29tol35|Házi 29-35]]<br /> <br /> == Talált oldalak ==<br /> <br /> 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)<br /> * [[Formális_módszerek_vizsga_tool]]<br /> <br /> {{Lábléc - Mérnök informatikus mesterszak}}</div> Okos Dániel https://vik.wiki/index.php?title=F%C3%A1jl:Uppaal-4.0.14-aca.zip&diff=188450 Fájl:Uppaal-4.0.14-aca.zip 2016-03-09T22:37:35Z <p>Okos Dániel: File uploaded with MsUpload</p> <hr /> <div>File uploaded with MsUpload</div> Okos Dániel https://vik.wiki/index.php?title=F%C3%A1jl:Uppaal-4.1.19.zip&diff=188449 Fájl:Uppaal-4.1.19.zip 2016-03-09T22:27:30Z <p>Okos Dániel: File uploaded with MsUpload</p> <hr /> <div>File uploaded with MsUpload</div> Okos Dániel