Keyword:Hyperproperties

Publications
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