TY  - RPRT
TI  - Model checking of hyperproperties for high-level relational models
AU  - Nuno Macedo
AU  - Hugo Pacheco
PY  - 2026
DO  - 10.1145/3845615
UR  - https://arxiv.org/abs/2512.12024
ID  - 2512.12024
ER  -