User: Guest  Login
Document type:
Technical Report 
Author(s):
Andreas Bauer; Martin Leucker; Christian Schallhart 
Title:
Runtime Verification for LTL and TLTL 
Abstract:
This paper studies runtime verification of properties expressed either in lineartime temporal logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in identifying its distinguishing features to model checking and testing, respectively. It introduces a three-valued semantics (with truth values true, false, inconclusive) as an adequate interpretation as to whether a partial observation of a running system meets an LTL or TLTL property. \\ \\ For LTL, a conceptua...    »
 
Keywords:
LTL; Runtime Verification; Assertion Checking 
Year:
2007 
Year / month:
2007-12-01 00:00:00 
Pages:
26