The ins and outs of first-order runtime verification
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
|Collections||ANU Research Publications|
|Source:||Formal Methods in System Design|
|01_Bauer_The_ins_and_outs_of_2015.pdf||879.92 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.