What is a Trace? A Runtime Verification Perspective

Giles Reger, Klaus Havelund

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    324 Downloads (Pure)

    Abstract

    Runtime Monitoring or Verification deals with traces. In its most simple
    form a monitoring system takes a trace produced by a system and a specification of correct behaviour and checks if the trace conforms to the specification.
    More complex applications may introduce notions of feedback and reaction. The
    notion that unifies the field is that we can abstract the runtime behaviour of a system by an execution trace and check this for conformance. However, there is little uniform understanding of what a trace is. This is most keenly seen when comparing theoretical and practical work. This paper surveys the different notions of trace and reflects on the related issues.
    Original languageEnglish
    Title of host publicationISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    Pages339-355
    Number of pages17
    DOIs
    Publication statusPublished - 2016
    Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) - Corfu, Greece
    Duration: 5 Oct 201614 Oct 2016

    Publication series

    NameLecture Notes in Computer Science
    Volume9953

    Conference

    Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
    Country/TerritoryGreece
    CityCorfu
    Period5/10/1614/10/16

    Fingerprint

    Dive into the research topics of 'What is a Trace? A Runtime Verification Perspective'. Together they form a unique fingerprint.

    Cite this