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

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator