Skip navigation
Skip navigation

Runtime verification on data-carrying traces

Kuester, Jan-Christoph


Malfunctioning software systems can cause severe loss of money, sensitive data, or even human life. The ambition is therefore to verify these systems not only statically, but also monitor their behaviour at runtime. For the latter case, the temporal logic LTL---a de facto standard specification formalism in runtime verification---is widely used and well-understood. However, propositional variables are usually not a natural nor sufficient model to represent the...[Show more]

CollectionsOpen Access Theses
Date published: 2016
Type: Thesis (PhD)
DOI: 10.25911/5d763822a5f79


File Description SizeFormat Image
Kuester Thesis 2016.pdf1.49 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator