Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Informatika/Informatika

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

Zobrazit popisek

Mgr. Roman Plášil

Grafický editor parametrizovaných modelů pro DiVinE

Graphical editor of parameterized models for DiVinE

Anotace: Práce v teoretické části diskutuje možnosti parametrizace modelů v několika současných nástrojích pro model checking. V praktické části představuje program DiVinE Editor, který umožňuje graficky tvořit parametrizované modely pro DiVinE.

Abstract: The thesis discusses the options for parameterizing models provided by several contemporary model checking tools. Furthermore, it presents a new program called DiVinE Editor which allows graphical editing of parameterized models for DiVinE.

DiVinE Paxion model checking editor modelů parametrizace

Zadání: Cílem projektu je vyvinout grafický editor parametrizovaných modelů pro verifikační nástroj DiVinE. Součástí práce je zmapování problematiky zadávání parametrizovaných modelů v jiných běžně dostupných verifikačních nástrojích. Výsledná implementace může vzniknout rozšířením existujícího editoru DVE modelů Paxion.

Jazyk práce: čeština

  • Zadáno/změněno 26. 6. 2008 13:20, Eva Drštková
  • Záznam založen 15. 5. 2008 07:33, Tomáš Navrátil
  • Zveřejnit od 21. 5. 2008 13:09, Helena Kryštofová
  • Práce převzata 21. 5. 2008 13:09, Helena Kryštofová

Obhajoba bakalářské práce

  • Proběhla 26. 6. 2008, práce byla úspěšně obhájena.

Vedoucí:

  • doc. RNDr. Jiří Barnat, Ph.D., KTP FI MU

Oponent:

Plný text práce

Literatura:

  • GRUMBERG, Orna, 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: 11. 10. 2008 13:02, (IS automaticky)

Složka /th/  Závěrečné práce /th/
Složka /th/173458/  Mgr. Roman Plášil /173458/
Složka /th/173458/fi_b/  Archiv závěrečné práce Roman Plášil FI B-IN BcIN /fi_b/
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.  Anotace anglicky annotation_english.txtPlášil, R.20.  5. 2008
Čí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: 21. 5. 2013 20:34, 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