Benutzer: Gast  Login
Titel:

Runtime verification revisited

Dokumenttyp:
Technical Report, TUM-I0518
Autor(en):
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...     »
Jahr:
2005
Jahr / Monat:
2005-10-01 00:00:00
Seiten/Umfang:
19
 BibTeX