HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification

Beutner, Raven; Finkbeiner, Bernd; Göbl, Angelina

doi:10.5281/zenodo.12206584

Published June 21, 2024 | Version v1

Software Open

HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification

This is the accompanying artifact for

Raven Beutner, Bernd Finkbeiner, Angelina Göbl. Visualizing Game-Based Certificates for Hyperproperty Verification. International Symposium on Formal Methods (FM) 2024.

Files

artifact.zip

Files (868.0 MB)

Name	Size	Download all
artifact.zip md5:152dcaa8f82e7b3b931fdd75835babb5	868.0 MB	Preview Download

113

Views

Downloads

Show more details

	All versions	This version
Views	113	113
Downloads	26	26
Data volume	23.4 GB	23.4 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Conference

International Symposium on Formal Methods (FM), 2024

Languages

English

License: GNU General Public License v3.0 or later

Permissions of this strong copyleft license are conditioned on making available complete source code of licensed works and modifications, which include larger works using a licensed work, under the same license. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. Read more

Technical metadata

Created: June 21, 2024
Modified: June 21, 2024

HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification

Authors/Creators

Description

Files

artifact.zip

Files (868.0 MB)