Zpět na vyhledávání

Bc. Tomáš Janoušek

Bachelor's thesis

Návrh modelovacího jazyka nástroje DiVinE

Design of a modelling language for DiVinE
Abstract:
Práce se zabývá návrhem nového modelovacího jazyka pro verifikační nástroj DiVinE. V teoretické části shrnuje několik již existujících jazyků a diskutuje, proč nejsou dostatečné. Zbytek práce se věnuje návrhu a implementaci nového jazyka, který je koncipován jako vnořené DSL do Haskellu. V závěrečné části jsou popsány mechanismy, jak modely v takovém jazyce zkompilovat a použít v nástroji DiVinE.
Abstract:
The thesis deals with a design of new modelling language for the DiVinE toolset. Theoretical part summarizes a few existing modelling languages and discusses their limitations. The rest of the thesis focuses on the design and implementation of this new language which is a DSL embedded into Haskell. The final part describes the technology that enables models in this language to be compiled and used …more
 

Keywords

DiVinE Haskell EDSL ověřování modelů model checker modelovací jazyk
 
Language used: Czech
Date on which the thesis was submitted / produced: 27. 5. 2010
Identifier: https://is.muni.cz/th/yn8c0/

Thesis defence

  • Date of defence: 21. 6. 2010
  • Supervisor: prof. RNDr. Jiří Barnat, Ph.D.
  • Reader: RNDr. Petr Ročkai, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.