Skip navigation
Skip navigation
Open Research will be down for maintenance between 8:00 and 8:15 am on Tuesday, December 1 2020.

Comparing LTL semantics for runtime verification

Bauer, Andreas; Leucker, Martin; Schallhart, Christian


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
Source: Journal of Logic and Computation
DOI: 10.1093/logcom/exn075


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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator