DSpace Repository

Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére

Show simple item record

dc.contributor.editor Bitay, Enikő hu_HU
dc.creator Darvas, Dániel hu_HU
dc.date.accessioned 2012-03-22T04:37:38Z
dc.date.available 2012-03-22T04:37:38Z
dc.date.created 2012 hu_HU
dc.date.issued 2012 hu_HU
dc.identifier.issn 2067 - 6 808 hu_HU
dc.identifier.uri http://hdl.handle.net/10598/15499
dc.description.abstract Napjainkban a szoftver és hardver rendszerek formális verifikációja egyre nagyobb szerepet kap a rendszertervezésben. Ahogy az architektúrák mérete növekszik, az ellenőrzésük is egyre komplexebb feladatot jelent, ami új elvárásokat támaszt a verifikációs eszközökkel szemben, így a modellellenőrző eszközökkel szemben is. Munkám során a szaturációs algoritmuson alapuló modellellenőrzés továbbfejlesztését vizsgáltam korlátos modellellenőrzési technikák segítségével. E cikkben bemutatom hogyan lehetséges szaturáció alapú korlátos modellellenőrzést készíteni, illetve leírom ennek egy javított, kibővített változatát: a vezérelt szaturációval kiegészített korlátos modellellenőrzést. Nowadays the formal verification of software and hardware systems is gaining an even more important role in system design. As the size of the systems grows, their verification becomes an increasingly complex task. This creates many new requirements for verification tools, also for model checking tools. In my work I have investigated the so-called bounded model checking techniques. In this paper I present a new saturation based bounded model checking tool. I describe an improved algorithm: the constrained saturation based bounded model checking algorithm, which I developed during my research. hu_HU
dc.description.tableofcontents 83-86 hu_HU
dc.format Adobe PDF hu_HU
dc.language.iso hun hu_HU
dc.language.iso eng hu_HU
dc.publisher Erdélyi Múzeum-Egyesület hu_HU
dc.relation.ispartofseries Fiatal Műszaki Tudományos Ülésszaka 17 hu_HU
dc.rights Erdélyi Múzeum-Egyesület hu_HU
dc.subject Petri-háló hu_HU
dc.subject korlátos modellellenőrzés hu_HU
dc.subject szaturáció hu_HU
dc.subject Petri Net en_EN
dc.subject bounded model checking en_EN
dc.subject saturation en_EN
dc.title Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére hu_HU
dc.title.alternative Saturation based bounded model checking methods for the analysis of Petri Nets hu_HU
dc.type Article hu_HU
dcterms.provenance Erdélyi Múzeum-Egyesület hu_HU
europeana.provider Erdélyi Múzeum-Egyesület hu_HU
europeana.unstored Erdélyi Múzeum-Egyesület hu_HU
europeana.type TEXT hu_HU
dcterms.medium paper hu_HU


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account