Skip navigation
Skip navigation

Runtime verification on data-carrying traces

Kuester, Jan-Christoph

Description

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)
URI: http://hdl.handle.net/1885/110029
DOI: 10.25911/5d763822a5f79

Download

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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator