Bc. Jitka Kudrnáčová

Master's thesis

Paralelní verifikace LTL(F,G) vlastností

Parallel verification of LTL(F,G) properties
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 …more
Language used: English
Date on which the thesis was submitted / produced: 22. 5. 2008

Thesis defence

  • Date of defence: 1. 7. 2008
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: RNDr. Vojtěch Řehák, Ph.D.

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 informatiky

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems