Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Andreas Bauer; Martin Leucker; Christian Schallhart 
Titel:
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...    »
 
Jahr:
2008 
Jahr / Monat:
2008-02-01 00:00:00 
Seiten/Umfang:
24 
Versionen