Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers.

Linpeng ZhangNoam ZilbersteinBenjamin Lucien KaminskiAlexandra Silva
Published in: CoRR (2024)