Skip navigation
Skip navigation

The ins and outs of first-order runtime verification

Bauer, Andreas; Kuester, Jan-Christoph; Vegliach, Gil


The main purpose of this paper is to introduce a first-order temporal logic, (Formula presented.), and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification

CollectionsANU Research Publications
Date published: 2015
Type: Journal article
Source: Formal Methods in System Design
DOI: 10.1007/s10703-015-0227-2


File Description SizeFormat Image
01_Bauer_The_ins_and_outs_of_2015.pdf879.92 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