User: Guest  Login
Title:

Runtime verification revisited

Document type:
Technical Report, TUM-I0518
Author(s):
Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Schallhart
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
 BibTeX