Bachelor's thesis

Graphical-interface for DiVinE tool

Graficke rozhraní pro komunikaci s nástrojem DiVinE

Vojtěch Forejt
Abstract

Navrhnout grafické rozhraní pro komunikaci uzivatele s verifikačním nástrojem DiVinE/Tooset, implementovat podporu pro spouštění jednotlivých algoritmů a zakladní nástroje pro administrování verifikačních úloh v distribuovaném prostředí. Vzhledem k požadavkům na modularitu a přenositelnost, bude rozhraní realizováno v jazyku Java.

Abstract

Design graphical interface to allow user use DiVinE verification tool. Implement executing of algorithms and basic tools for administration. Interface will be implemented in Java.

Keywords
GUI model checking DiVinE verifikace komunikace klient-server
Administrative information
The thesis has been checked:
11/10/2008 12:50, (IS automatically)
Full text of thesis
291,6 KB / file PDF
Attachments (1)
Language used
Czech Czech
Defence date
6/2/2006
The thesis was defended successfully

Supervisor

prof. RNDr. Luboš Brim, CSc.
abs PřF MU
Cite this text
Masaryk University Faculty of Informatics
Programme
Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents
 
Name
Posted by
Uploaded/Created
Rights
Archive of Thesis/Dissertation Vojtěch Forejt lluk1/6
Forejt, V.
5/1/2006
Folders
Files
Abstract (in English) annotation_english.txt
Forejt, V.
5/1/2006
Abstract (in Czech) annotation.txt
Forejt, V.
5/1/2006
Keywords keywords.txt
Forejt, V.
5/1/2006
prace.pdf moje.pdf
Forejt, V.
5/1/2006
prace.tex moje.tex
Forejt, V.
5/1/2006
Appendix Prilozene_CD.7z
Lukáš, O.
24/11/2022

  • 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.