Graficke rozhraní pro komunikaci s nástrojem DiVinE – RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
Bachelor's thesis
Graficke rozhraní pro komunikaci s nástrojem DiVinE
Graphical-interface for DiVinE tool
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.
Language used: Czech
Date on which the thesis was submitted / produced: 6. 2. 2006
Identifier:
https://is.muni.cz/th/lluk1/
Thesis defence
- Date of defence: 6. 2. 2006
- Supervisor: prof. RNDr. Luboš Brim, CSc.
Citation record
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Modelové řešení aplikace klient-server využívající GraphQL
Ondřej Zicha -
Verifikace CTL vlastností v nástroji DiVinE
Šimon Vanický -
Verifikace MPI programů pomocí DIVINE
Marek Tomáštík -
Porovnání nástrojů pro paralelní LTL model checking
Marek Tomáštík -
Relaxed Memory Models in DiVinE
Vojtěch Havel -
DiVinE - Prostředí pro distribuovanou verifikaci
Pavel Šimeček -
Designing Data-Parallel Graph Algorithms for Model Checking
Milan Češka -
GPU Accelerated Enumerative Model Checking
Milan Češka