https://arxiv.org/abs/2404.05097
[2404.05097] Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties...
Abstract page for arXiv paper 2404.05097: Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
quantitativehyper