Zobrazeno 1 - 2
of 2
pro vyhledávání: '"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
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
Autor:
Zhe Hou, Vijay Ganesh
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in th
