Software Verification of Hyperproperties Beyond k-Safety
Authors: Raven Beutner and Bernd Finkbeiner
Paper Information
| Title: | Software Verification of Hyperproperties Beyond k-Safety |
| Authors: | Raven Beutner and Bernd Finkbeiner |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | Hyperproperties, HyperLTL, Verification, Model-Checking, Hyperliveness, Predicate Abstraction, Software Verification |
| Pages: | 22 |
| Talk: | Aug 08 09:00 (Session 94A: Hyperproperties and Security) |
| Paper: |  |