Bounded-Memory Runtime Enforcement

Autor: Shankar, Saumya, Rollet, Antoine, Pinisetty, Srinivas, Falcone, Yliès

Publikováno v: Model Checking Software ISBN: 9783031150760
SPIN 2022-28th International Symposium on Model Checking of Software
SPIN 2022-28th International Symposium on Model Checking of Software, May 2022, Chicago, United States. pp.114-133, ⟨10.1007/978-3-031-15077-7_7⟩

International audience; Runtime Enforcement (RE) is a monitoring technique to ensure that a system obeys a set of formal requirements (properties). RE employs an enforcer (a safety wrapper for the system) which modifies the (untrustworthy) output by

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92f3135770a094d866c0bbbf5916f084
https://doi.org/10.1007/978-3-031-15077-7_7