User: Guest  Login
Document type:
Technical Report 
Author(s):
Andreas Bauer; Martin Leucker; Christian Schallhart 
Title:
The good, the bad, and the ugly - but how ugly is ugly? 
Abstract:
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite words of events, whereas at runtime only finite but incrementally expanding prefixes are available.\\ In this work, we review LTL-derived logics for finite traces from a runtimeverification perspective. In doing so, we establish four maxims to be satisfied by any...    »
 
Year:
2008 
Year / month:
2008-02-01 00:00:00 
Pages:
24