Artifact for paper titled "Proving the existence of fair paths in infinite-state systems" published in VMCAI 2021

Enrico Magnago; Alberto Griggio; Alessandro Cimatti

doi:10.5281/zenodo.4271411

Published October 13, 2020 | Version v2

Software Open

Artifact for paper titled "Proving the existence of fair paths in infinite-state systems" published in VMCAI 2021

1. Fondazione Bruno Kessler

zip archive containing the files necessary to reproduce the experimental results shown in the paper titled "Proving the existence of fair paths in infinite-state systems" submitted to VMCAI 2021.

The file artifact.sha256 contains the sha256 sum of the zip archive.

Files

proving_the_existence_of_fair_paths_in_infinite-state_systems-artifact.zip

Files (359.2 MB)

Name	Size	Download all
artifact.sha256 md5:af9a6eb307df4cb8364d3a654dbf028d	141 Bytes	Download
proving_the_existence_of_fair_paths_in_infinite-state_systems-artifact.zip md5:4a6af196b06961fd8bedf24c40db841e	359.2 MB	Preview Download

165

Views

Downloads

Show more details

	All versions	This version
Views	165	93
Downloads	85	42
Data volume	18.7 GB	8.3 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: November 13, 2020
Modified: November 13, 2020

Artifact for paper titled "Proving the existence of fair paths in infinite-state systems" published in VMCAI 2021

Authors/Creators

Description

Files

proving_the_existence_of_fair_paths_in_infinite-state_systems-artifact.zip

Files (359.2 MB)