Published January 5, 2023
| Version v1
Software
Open
Artifact of "Taming Large Bounds in Synthesis from Bounded-Liveness Specifications"
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 |