DeepAI
Log In Sign Up

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

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...
01/23/2023

cc-differential uniformity, (almost) perfect cc-nonlinearity, and equivalences

In this article, we introduce new notions cc-differential uniformity, cc...
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...
12/07/2022

Why the equivalence problem for unambiguous grammars has not been solved back in 1966?

In 1966, Semenov, by using a technique based on power series, suggested ...
06/16/2004

Notions of Equivalence in Software Design

Design methods in information systems frequently create software descrip...
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...
12/13/2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks

As neural networks (NNs) are increasingly introduced into safety-critica...