User: Guest  Login
Document type:
Technical Report, TUM-I0518 
Author(s):
Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart 
Title:
Runtime verification revisited 
Abstract:
In this paper, we address a typical obstacle in runtime verification of linear temporal logic (LTL) formulae: standard models of linear temporal logic are infinite traces, whereas run-time verification has to deal with only finite system behaviours. This problem is usually addressed by defining an LTL semantics for finite traces, which, however, does usually not fit well to the infinite trace semantics. We define a 3-valued semantics (true,false,inconclusive) for LTL on finite traces that resemb...    »
 
Year:
2005 
Year / month:
2005-10-01 00:00:00 
Pages:
19