Back to search

Bc. Vojtěch Frnoch

Master's thesis

Grafické rozhraní pro simulátor C++ programů

Graphical User Interface for a C++ Simulator
Abstract:
Cílem diplomové práce bylo vytvořit grafické rozhraní pro simulátor programů v prostředí projektu DIVINE, který dosud měl jen rozhraní v příkazové řádce. Na základě toho bylo rozhraní vytvořeno v programovacím jazyce C++ s aplikačním rámcem Qt. Textová část práce slouží jako vstup do problematiky formální verifikace a metody ověřování modelu. Popisuje projekt DIVINE a jeho jednotlivé nástroje. Dále …more
Abstract:
The goal of the master's thesis was to implement a graphical user interface for a simulator which has been developed as part of the DIVINE project and thus far only had a command line interface. On this basis the new interface was developed using the C++ programming language and the Qt framework. The written part of the thesis consists of an introduction to formal verification and model checking which …more
 

Keywords

DIVINE simulátor formální verifikace ověřování modelu grafické rozhraní uživatelské rozhraní C++ Qt formal verification model checking UI
 
Language used: Czech
Date on which the thesis was submitted / produced: 17. 5. 2018
Identifier: https://is.muni.cz/th/mghak/

Thesis defence

  • Date of defence: 22. 6. 2018
  • Supervisor: RNDr. Petr Ročkai, Ph.D.
  • Reader: RNDr. Petr Švenda, 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