Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores bidirectional enforcement strategies for properties describing the input and output behaviour of a system. We develop an...

Full description

Bibliographic Details

Published in:	Logical Methods in Computer Science
Main Authors:	Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2023-02-01
Subjects:	computer science - logic in computer science computer science - programming languages computer science - software engineering f.3.1 f.3.2 d.2.4
Online Access:	https://lmcs.episciences.org/8944/pdf