FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: