Paper: Deciding Hyperproperties Combined with Functional Specifications (at LICS 2022)
Authors: Raven Beutner David Carral Bernd Finkbeiner Jana Hofmann Markus Krötzsch
Abstract
No Abstract Available
BibTeX
@InProceedings{Krtzsch-DecidingHyperproper, author = {Raven Beutner and David Carral and Bernd Finkbeiner and Jana Hofmann and Markus Krötzsch}, title = {Deciding Hyperproperties Combined with Functional Specifications}, booktitle = {Proceedings of the Thirty seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2022)}, year = {2022}, month = {August}, pages = {1--13}, location = {Haifa, Israel}, publisher = {IEEE Computer Society Press} }