Informační systém Masarykovy univerzity 

Archiv závěrečné práce Adam Šiška FI B-IN BcIN

česky | in English

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

Bc. Adam Šiška

Interpretace DVE modelů v Haskellu

Interpretation of DVE models in Haskell

Anotace: Jazyk DVE dovoluje specifikovat modely pro nástroj DiVinE. Interpretace modelu je graf stavového prostoru s predikátem akceptujících stavů. Tato práce se zabývá překladem zdrojového kódu DVE na počáteční stav s přechodovou funkcí umožňující graf prohledat. Projekt je implementován ve funkcionálním jazyce Haskell a k rozboru kódu jsou použity monadické parsery z knihovny Parsec. Práce obsahuje i nástroje pro základní analýzu stavového prostoru a interaktivní simulaci modelu.

Abstract: The DVE language allows to specify models for DiVinE tool. Interpretation of some model is described by state space and accepting function. This thesis introduces a simple interpreter for DVE sources implemented in functional language Haskell using Parsec library. The tool also contains procedures for simulation and state space analysis.

DiVinE, DVE, model checking, Haskell, Parsec, monadic parser

Zadání: Cílem bakalářské práce je navrhnout a implementovat vhodné datové a programové struktury ve funkcionálním jazyce Haskell reprezentující modely verifikačního nástroje DiVinE v jazyce DVE. To zahrnuje vytvoření syntaktického analyzátoru jazyka DVE a následnou interpretaci modelu pomocí tří funkcí init, succ, accept umožňující prohledávání stavového prostoru modelu.

Jazyk práce: čeština

  • Zadáno/změněno 1. 2. 2010 16:01, Helena Kryštofová
  • Záznam založen 1. 12. 2009 08:58, Eva Drštková
  • Zveřejnit od 5. 1. 2010 10:20, Eva Drštková
  • Práce převzata 5. 1. 2010 10:20, Eva Drštková

Obhajoba bakalářské práce

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

Vedoucí:

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

Oponent:

Plný text práce

Citační záznam

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

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

Práce zkontrolována: 13. 1. 2010 15:10, doc. RNDr. Jiří Barnat, 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 Adam Šiška FI B-IN BcIN /fi_b/Šiška, A. 4.  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.txtŠiška, A. 4.  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.txtŠiška, A. 4.  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.txtŠiška, A. 4.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek-oponenta.pdfŠkarvada, L.29.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.posudek-oponenta.psŠkarvada, L.28.  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.pdfBarnat, J.26.  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 text_prace.pdfŠiška, A. 4.  1. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Zdrojové kódy zdrojove_kody.tar.gzŠiška, A. 5.  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 15:22, 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