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

Authors/Creators

  • 1. Fondazione Bruno Kessler

Description

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
md5:af9a6eb307df4cb8364d3a654dbf028d
141 Bytes Download
md5:4a6af196b06961fd8bedf24c40db841e
359.2 MB Preview Download