Bc. Jitka Kudrnáčová

Master's thesis

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 …more
 

Keywords

Linear temporal logic model checking alpha-formulae
 
Language used: English
Date on which the thesis was submitted / produced: 22. 5. 2008
Identifier: https://is.muni.cz/th/qanl7/

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

Cite this text

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
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.