Zpět na vyhledávání

Bc. Adam Tuček

Bachelor's thesis

Grafická reprezentace specifikačních vzorů pro temporální logiky

Graphical representation of specification patterns for temporal logics
Abstract:
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
 
Language used: English
Date on which the thesis was submitted / produced: 26. 5. 2017
Identifier: https://is.muni.cz/th/zeq2o/

Thesis defence

  • Date of defence: 28. 6. 2017
  • Supervisor: prof. RNDr. Luboš Brim, CSc.
  • Reader: RNDr. Martin Demko

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

Bachelor programme / field:
Informatics / Parallel and Distributed Systems

Theses on a related topic

List of theses with an identical keyword.
All theses