Enhanced parser for DVE modelling language

Bc. Jan Kriho

Master's thesis

Anotácia:

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 infrastructure were reimplemented, however the generators were simply transferred from the legacy version and accessed using wrappers. As the needs of the \textsc{DiVinE} project shifted and its architecture was reworked, it became obvious that the DVE language would need similar refactoring and its reimplementation was done.

Keywords

DiVinE, model checking, verification, LTL, preprocessor, parser, interpreter, compiler, partial-order reduction, interpret, kompilátor

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 8. 1. 2014

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

• Obhajoba proběhla 12. 2. 2014
• Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
• Oponent: RNDr. Petr Ročkai, Ph.D.

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems