Explaining Hyperproperty Violations
Authors: Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber
Paper Information
| Title: | Explaining Hyperproperty Violations |
| Authors: | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Hyperproperties, Actual Causality, Counterexamples, Model Checking, Counterfactual Reasoning, Explanations |
| Pages: | 22 |
| Talk: | Aug 08 10:00 (Session 94A: Hyperproperties and Security) |
| Paper: |  |