An axiomatization of verdict equivalence over regular monitors

06/09/2020
by   Luca Aceto, et al.
0

Monitors are a key tool in the field of runtime verification, where they are used to check for system properties by analysing execution traces generated by processes. Work on runtime monitoring carried out in a series of papers by Aceto et al. has specified monitors using a variation on the regular fragment of Milner's CCS and studied two trace-based notions of equivalence over monitors, namely verdict and ω-verdict equivalence. This article is devoted to the study of the equational logic of monitors modulo those two notions of equivalence. It presents complete equational axiomatizations of verdict and ω-verdict equivalence for closed and open terms over recursion-free monitors.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/09/2019

Trace Equivalence and Epistemic Logic to Express Security Properties

In process algebras, security properties are expressed as equivalences b...
11/26/2021

RLWE/PLWE equivalence for the maximal totally real subextension of the 2^rpq-th cyclotomic field

We prove the RLWE/PLWE equivalence for the maximal totally real subexten...
06/16/2004

Notions of Equivalence in Software Design

Design methods in information systems frequently create software descrip...
01/14/2020

On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds

Data exchange heavily relies on the notion of incomplete database instan...
07/09/2018

What to make of non-inferiority and equivalence testing with a post-specified margin?

In order to determine whether or not an effect is absent based on a stat...
11/29/2020

Behavioural Preorders via Graded Monads

Like notions of process equivalence, behavioural preorders on processes ...
11/08/2018

Bisimilarity of Open Terms in Stream GSOS

Stream GSOS is a specification format for operations and calculi on infi...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.