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)
Bakalářská práce
Graficke rozhraní pro komunikaci s nástrojem DiVinE
Graphical-interface for DiVinE tool
Anotace:
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.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 2. 2006
Identifikátor:
https://is.muni.cz/th/lluk1/
Obhajoba závěrečné práce
- Obhajoba proběhla 6. 2. 2006
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
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