TY  - RPRT
TI  - Visual Analysis of Hyperproperties for Understanding Model Checking Results
AU  - Tom Horak
AU  - Norine Coenen
AU  - Niklas Metzger
AU  - Christopher Hahn
AU  - Tamara Flemisch
AU  - Julián Méndez
AU  - Dennis Dimov
AU  - Bernd Finkbeiner
AU  - Raimund Dachselt
PY  - 2021
UR  - https://arxiv.org/abs/2108.03698
ID  - 2108.03698
ER  -