Bc. Martin Moráček

Bachelor's thesis

Simulátor pro modelovací jazyk nástroje DiVinE

Simulator for DiVinE modeling language
Anotácia:
Cílem práce je vytvoření grafického uživatelského rozhraní pro editaci a simulaci modelů systému DiVinE včetě napojení na verifikační algoritmy a simulace jimi vygenerovaných protipříkladů. Na začátku práce jsme provedli analýzu grafických rozhraní existujících nástrojů Spin a UPPAAL a navázali na ni návrhem vlastního rozhraní. Zbylá část práce popisuje vypracovanou aplikaci a její implementaci za …viac
Abstract:
This work aims to create a graphical user interface for editing and simulation of models of the DiVinE system including front-end for it's verification algorithms and simulation of generated counterexamples. We have analyzed the graphical interfaces of existing verification tools Spin and UPPAAL and introduced our own design. The rest of the work describes the created application and it's implementation …viac
 
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 6. 1. 2010

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

  • Obhajoba proběhla 1. 2. 2010
  • Vedúci: prof. RNDr. Jiří Barnat, Ph.D.
  • Oponent: RNDr. Petr Ročkai, Ph.D.

Citační záznam

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

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Informatics