Skip navigation
Skip navigation

Runtime Verification for LTL and TLTL

Bauer, Andreas; Leucker, Martin; Schallhart, Christian

Description

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
URI: http://hdl.handle.net/1885/37011
Source: ACM Transactions on Software Engineering and Methodology
DOI: 10.1145/2000799.2000800

Download

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:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator