Paralelní verifikace LTL(F,G) vlastností – Bc. Jitka Kudrnáčová
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
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.
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Linear Temporal Logic and omega-automata
František Blahoudek -
Translation of Linear Temporal Logic to Omega-Automata
Tomáš Babiak -
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
Control Strategy Synthesis for Path Planning under Temporal Constraints
Mária Svoreňová -
Temporal attribute implications
Jan TŘÍSKA -
Quantitative Linear-Time Model Checking
Jana Tůmová -
Almost linear Bűchi automata
Tomáš Babiak