Grafická reprezentace specifikačních vzorů pro temporální logiky – Bc. Adam Tuček
Bc. Adam Tuček
Bakalářská práce
Grafická reprezentace specifikačních vzorů pro temporální logiky
Graphical representation of specification patterns for temporal logics
Anotace:
Tato práce popisuje program, který byl pro ni vytvořen. Tento program umožňuje vytváření specifikací systémů v Lineární temporální logice s pomocí vzorů vlastností specifikace. V porovnání s ostatními programy tohoto druhu má tento program velký rozšířitelný katalog vzorů a umožňuje vytvářet vlastní formule, které nezávisí na žádném vzoru.Abstract:
This thesis describes a program created for it. The software facilitates the creation of system specifications in Linear Temporal Logic with the help of property specification patterns. Compared to other software of its kind, it has large extendable pattern catalog and allows the creation of custom formulas that don't depend on any pattern.
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 26. 5. 2017
Identifikátor:
https://is.muni.cz/th/zeq2o/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2017
- Vedoucí: prof. RNDr. Luboš Brim, CSc.
- Oponent: RNDr. Martin Demko
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 informatikyBakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Algebraický přístup k lineární temporální logice
Karolína Malá -
Topologie času a temporální logika
Jakub Vít -
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á