Informační systém Masarykovy univerzity 

Archiv závěrečné práce Václav Rosecký FI N-AP AP

IS MU

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

magisterský studijní program/obor:
Aplikovaná informatika/Aplikovaná informatika

Práce na příbuzné téma

Zobrazit popisek

Mgr. Václav Rosecký

Verifikační manažer pro explicitní ověřování modelu

Verification manager for explicit model checking

Anotace: Předmětem této práce je implementace a experimentální vyhodnocení verifikačního manažera pro ověřování modelů, což je nástroj pro efektivní spouštění verifikačních technik v distribuovaném prostředí. Verifikační proces je řízen na základě uživatelem dodané obecné verifikační strategie.

Abstract: The subject of the thesis is implementation and experimental evaluation of verification manager for model checking, which is a tool for efficient execution of verification techniques in distributed environment. The verification process is driven by general verification strategy.

verifikační manažer, verification manager, ověřování modelů, model checking, detekce chyb, error detection, DiVinE, LTL

Zadání: Cílem práce je vytvořit nástroj, který bude koordinovat spouštění verifikačních technik ("verifikační manažer"). Manažer bude implementován v Javě jako nádstavba nad algoritmy nástroje DiVinE pro explicitní ověřování modelů. Výsledný nástro by měl být schopen:
• Pracovat v distribuovaném prostředí. • Spouštět více verifikačních algoritmů současně a vhodně reagovat na výstupy (úspěšné/neuspěšné …více

Jazyk práce: čeština

  • Zadáno/změněno 9. 2. 2010 12:43, Tomáš Navrátil
  • Záznam založen 1. 12. 2009 13:02, Tomáš Navrátil
  • Zveřejnit od 11. 1. 2010 10:27, Tomáš Navrátil
  • Práce převzata 11. 1. 2010 10:27, Tomáš Navrátil

Obhajoba diplomové práce

  • Proběhla 8. 2. 2010, práce byla úspěšně obhájena.

Vedoucí:

  • doc. Mgr. Radek Pelánek, Ph.D., KIT FI MU

Oponent:

Plný text práce

Literatura:

  • GRUMBERG, Orna a Doron PELED a Edmund M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314 s. ISBN 0-262-03270-8.

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX

Kontrola závěrečné práce

Práce zkontrolována: 12. 1. 2010 08:44, doc. Mgr. Radek Pelánek, Ph.D.

Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Václav Rosecký FI N-AP AP /fi_m/Rosecký, V. 9.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace anglicky annotation_english.txtRosecký, V. 9.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace česky annotation.txtRosecký, V. 9.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.dp.tar.bz2Rosecký, V.10.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Klíčová slova keywords.txtRosecký, V. 9.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek_oponenta.pdfBarnat, J.26.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouciho.pdfPelánek, R.15.  1. 2010
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.  Text práce emma.pdfRosecký, V.10.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 

Nahoru | Aktuální datum a čas: 24. 5. 2012 07:14, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému