Bc. Jitka Kudrnáčová

Diplomová práce

Paralelní verifikace LTL(F,G) vlastností

Parallel verification of LTL(F,G) properties
Abstract:
Computational complexity of model checking is the reason, why researchers are trying to find ways how to lower the amount of memory and time needed for the model checking procedure. When considering specification formulae for model checking only from the fragment LTL(F,G), there is a way how to translate the specification formula into a finite disjunction of formulae in special form called alpha-formulae …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 22. 5. 2008

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

  • Obhajoba proběhla 1. 7. 2008
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: RNDr. Vojtěch Řehák, 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

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy