Diplomová práce

Enhanced parser for DVE modelling language

Bc. Jan Kriho
Anotace

DiVinE je vyvíjen v laboratoři PDS od roku 2003. Původně byly dvě verze: jedna cílené na vícejádrové stroje, druhá na síťové clustery. Avšak v roce 2009 byla knihovna přepsána a obě verze sloučeny do jedné. Jelikož ale interprety modelů byly používány přes vrstvu kompatibility, bylo potřeba je předělat, čímž byl zahájen projekt DVE 2.0

Abstract

Distributed Verification Environment has been developed in Parallel and Distributed Systems laboratory since 2003. At first there were two main versions of the tool: one for multi-core machines, the other for networked clusters. However, in 2009 the DiVinE tool main library was restructured and the tool itself was unified into one main version for both platforms -- DiVinE 2.0. Algorithms and parallel …více

Klíčová slova
DiVinE model checking verification LTL preprocessor parser interpreter compiler partial-order reduction interpret kompilátor
Zadání práce
The goal of the thesis is to develop a new DVE modelling language parser and interpreter that could fully replace the legacy code in DiVinE model checker project. The newly developed interpreter will come with minor extensions of the original DVE language and preprocessing capabilities. It would also provide DiVinE with Partial Order Reduction technique on DVE models. The thesis will include experimental comparison of performance and scalability of the new parser with the legacy one.
Administrativní informace
Práce zkontrolována:
9. 1. 2014 09:52, prof. RNDr. Jiří Barnat, Ph.D., učo 3496
Plný text práce
622,3 KB / soubor PDF
Přílohy (1)
Jazyk práce
angličtina angličtina
Termín obhajoby
12. 2. 2014
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jiří Barnat, Ph.D., učo 3496
KTP FI MU

Oponent

RNDr. Petr Ročkai, Ph.D., učo 139761
KPSK FI MU

Literatura

  • GRUMBERG, Orna; Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

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

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.