Runtime Enforcement of Hyperproperties

Autor: Bernd Finkbeiner, Christopher Hahn, Norine Coenen, Jana Hofmann, Yannick Schillo

Publikováno v: Automated Technology for Verification and Analysis-19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA

An enforcement mechanism monitors a reactive system for undesired behavior at runtime and corrects the system’s output in case it violates the given specification. In this paper, we study the enforcement problem for hyperproperties, i.e., propertie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6fbaef163971e3dc18893a37833fbad