Zpět na vyhledávání

Bc. Marek Moravčík

Bakalářská práce

Vizualizace stavových prostorů

State space visualization
Abstract:
The main aim of the thesis is to provide an overview of existing tools used for state space visualization and their comparison. Next section is devoted to creating a tool which visualizes state spaces created by DiVinE program. The last part of the work describes the semantics of created visualizations.
Abstract:
Cieľom tejto práce je poskytnúť prehľad existujúcich nástrojov používaných pri vizualizácií stavových priestorov a ich porovnanie. Ďalšia časť práce je venovaná vytvoreniu nástroja vizualizujúceho stavové priestory tvorené nástrojom DiVinE. Posledná časť popisuje sémantiku vo vytvorených vizualizáciách.
 

Klíčová slova

vizualizácia stavový priestor konverzia verifikácia formálna verifikácia
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 24. 5. 2010
Identifikátor: https://is.muni.cz/th/p9sra/

Obhajoba závěrečné práce

  • Obhajoba proběhla 23. 6. 2010
  • Vedoucí: prof. RNDr. Luboš Brim, CSc.
  • Oponent: RNDr. Milan Češka, Ph.D.

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
  • Žádné práce na příbuzné téma.