Visualizing Game-Based Certificates for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner; Angelina Göbl (FM (2), 2024)

HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner; Angelina Göbl (Zenodo, 2024)