Skip navigation
Skip navigation

Runtime Verification for LTL and TLTL

Bauer, Andreas; Leucker, Martin; Schallhart, Christian


This article 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 conceptually...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: ACM Transactions on Software Engineering and Methodology
DOI: 10.1145/2000799.2000800


File Description SizeFormat Image
01_Bauer_Runtime_Verification_for_LTL_2011.pdf714.7 kBAdobe PDF    Request a copy
02_Bauer_Runtime_Verification_for_LTL_2011.pdf800.17 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator