Zpět na vyhledávání

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.
 

Keywords

model checking property specification patterns linear temporal logic program specification system specification ověřování modelu vzory vlastností specifikace lineární temporální logika specifikace programu
 
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

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Paralelní a distribuované systémy

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce