Bc. Jiří Šimša
Diplomová práce
Monitorování chování systémů
Monitoring of Systems Behaviour
Abstract:
Usage of monitoring for the purpose of verification has grown in importance in recent years. In this thesis, we survey monitoring of a system for the purpose of a formal verification of its behaviour. To this aim, we use temporal logics and observation sequences as formalisms for describing system specification and its actual behaviour. In particular, we present an unifying view on monitoring of Linear …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 19. 5. 2006
Identifikátor:
https://is.muni.cz/th/leqje/
Obhajoba závěrečné práce
- Obhajoba proběhla 26. 6. 2006
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Runtime Verification of Linear Temporal Specifications with Degradation
Tomáš Staňa -
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