Keyword:Hyperproperties

Publications
Reasoning About Hyperproperties with Automated Theorem Provers (extended version) Tobias Nießen, Ana Oliveira da Costa, Johannes Schoisswohl, Thomas A. Henzinger and Laura Kovács EasyChair Preprint 16030
Verifying Global Neural Network Specifications using Hyperproperties David Boetius and Stefan Leue In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties Jan Tušil, Traian Serbanuta and Jan Obdrzalek In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Model Checking Omega-Regular Hyperproperties with AutoHyperQ Raven Beutner and Bernd Finkbeiner In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning