TY  - RPRT
TI  - Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
AU  - Linpeng Zhang
AU  - Noam Zilberstein
AU  - Benjamin Lucien Kaminski
AU  - Alexandra Silva
PY  - 2024
UR  - https://arxiv.org/abs/2404.05097
ID  - 2404.05097
ER  -