Rövidített megjelenítés

dc.contributorPannon Egyetemhu_HU
dc.creatorÉsik Zoltánhu_HU
dc.creatorGombás Évahu_HU
dc.creatorNémeth L. Zoltánhu_HU
dc.date2011-06-23hu_HU
dc.date.accessioned2019-08-08T13:01:59Z
dc.date.available2019-08-08T13:01:59Z
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/7575
dc.descriptionNapjaink informatikai rendszerei egyre komplexebbek, és rohamosan bővül azoknak az alkalmazásoknak sora, melyek formális verifikációt igényelnek a hagyományos szimuláció és tesztelés mellett. A jegyzet az egyik legfontosabb verifikációs módszer, a modell ellenőrzés elméletébe és gyakorlatába kíván bevezetést nyújtani. Először áttekintjük a modell-ellenőrzés feladatát, megvalósítását, a módszer előnyeit és korlátait. Ezután konkurens és időzített rendszerek átmeneti rendszerekkel történő modellezését mutatjuk be, majd a rendszerek dinamikus viselkedésének leírása kerül tárgyalásra temporális logikák segítségével. Ezt követően az explicit és szimbolikus modell-ellenőrzés legfontosabb algoritmusait mutatjuk be. Végül a SPIN és az UPPAAL modell-ellenőrző szoftver rendszerrel ismertetjük meg az olvasót.hu_HU
dc.formatapplication/pdfhu_HU
dc.languagehuhu_HU
dc.publisherTypotex Kiadóhu_HU
dc.rightsÉsik Zoltánhu_HU
dc.rightsGombás Évahu_HU
dc.rightsNémeth L. Zoltánhu_HU
dc.rightsSzegedi Tudományegyetemhu_HU
dc.sourceKönyv formában nem jelent meg [ISBN 978-963-279-497-6]hu_HU
dc.subjectverifikációhu_HU
dc.subjectmodell-ellenőrzéshu_HU
dc.subjectátmeneti rendszerekhu_HU
dc.subjectidőzített automatákhu_HU
dc.subjecttemporális logikákhu_HU
dc.subjectbináris döntési diagramokhu_HU
dc.subjectmodell-ellenőrző szoftverekhu_HU
dc.subjectSPINhu_HU
dc.subjectUPPAALhu_HU
dc.titleHardver- és szoftverrendszerek verifikációjahu_HU
dc.typetexthu_HU
dtk.firinformatikahu_HU
dtk.oecd01. Természettudományok::01.02. Számítás- és információtudomány::01.02.01. Számítástudomány, információtudomány és bioinformatikahu_HU
dtk.playerpdfplayerhu_HU
dtk.purchaseTÁMOP-4.1.2-08/1/A-2009-0008 Szegedi Tudományegyetemhu_HU
dtk.size133 phu_HU
dtk.typebookhu_HU
dtk.udc---- FŐTÁBLÁZAT::0 ÁLTALÁNOS TARTALMÚ ÍRÁSMŰVEK. TUDOMÁNY ÉS KULTÚRA. ISMERETEK. SZERVEZETEK. INFORMÁCIÓ. DOKUMENTÁCIÓ. KÖNYVTÁR. INTÉZMÉNYEK. PUBLIKÁCIÓK. KIADVÁNYOK::004 Számítógép-tudomány. Számítástechnika. Adatfeldolgozás::004.4 Szoftver. Programhu_HU


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés