Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published January 5, 2023 | Version v1
Software Open

Artifact of "Taming Large Bounds in Synthesis from Bounded-Liveness Specifications"

Creators

  • 1. CISPA Helmholtz Center for Information Security

Description

Artifact for the paper "Taming Large Bounds in Synthesis from
Bounded-Liveness Specifications" for the artifact evaluation of TACAS 2023.

Files

artifact-tacas-2023.zip

Files (13.4 MB)

Name Size Download all
md5:2f2312d66a60a3024c87d03481a18d29
13.4 MB Preview Download