Skip navigation
Skip navigation

Comparing LTL semantics for runtime verification

Bauer, Andreas; Leucker, Martin; Schallhart, Christian

Description

When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is, models of temporal logic formulae are usually infinite words of events,

CollectionsANU Research Publications
Date published: 2010
Type: Journal article
URI: http://hdl.handle.net/1885/56980
Source: Journal of Logic and Computation
DOI: 10.1093/logcom/exn075

Download

File Description SizeFormat Image
01_Bauer_Comparing_LTL_semantics_for_2010.pdf444.62 kBAdobe PDF    Request a copy
02_Bauer_Comparing_LTL_semantics_for_2010.pdf429.32 kBAdobe PDF    Request a copy
03_Bauer_Comparing_LTL_semantics_for_2010.pdf111.56 kBAdobe PDF    Request a copy


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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator