Thesis Details

Ověřování parametrických vlastností nad záznamy běhů programů

Master's Thesis Student: Čaládi Filip Academic Year: 2021/2022 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Parametric Properties for Log Checker

Plogchecker 2.0 is a tool for verification of user-defined properties over sequences of events in the traces of the program. The implementation of this tool mainly builds on the previous version of the tool Plogchecker. The main idea behind these tools is that the user has to specify system properties (parametric or non-parametric), make any program runrecords available to the verification tool and let the tool analyze. The analysis output is the report about the violation of specified properties with sequences of events that causedthe error. This thesis proposes a new algorithm that optimizes the processing of event sequences against user-defined properties specifications. The optimizations are focused onboth scalability as well as precision. Furthermore, it adds support for various parametric data types, such as string, number, date and time. Finally, it offers an easier and more comfortable way to specify such parametric properties. Throughout the series of experiments, it is shown that Plogchecker 2.0 is more scalable and precise compared to previous version of Plogchecker.


runtime verification, parametric properties, non-parametric properties, extended regular expressions, finite state automatons, golang, grok, garbage collecting

Degree Programme
defended, grade B
17 June 2022
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT), člen
Meduna Alexander, prof. RNDr., CSc. (DIFS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Veselý Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
ČALÁDI, Filip. Ověřování parametrických vlastností nad záznamy běhů programů. Brno, 2022. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2022-06-17. Supervised by Smrčka Aleš. Available from:
    author = "Filip \v{C}al\'{a}di",
    type = "Master's thesis",
    title = "Ov\v{e}\v{r}ov\'{a}n\'{i} parametrick\'{y}ch vlastnost\'{i} nad z\'{a}znamy b\v{e}h\r{u} program\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2022,
    location = "Brno, CZ",
    language = "czech",
    url = ""
Back to top