Other Open Access

Synplexity CAV21 artifact

Qinheping Hu

This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org) for CAV 2021.

Files (12.9 GB)
Name Size
README.md
md5:019af9520587c9f212ba0ce17b8ef56f
6.4 kB Download
Synplexity.ova
md5:f943378c0103f79396a757e0bc6af192
12.9 GB Download
139
24
views
downloads
All versions This version
Views 139139
Downloads 2424
Data volume 142.4 GB142.4 GB
Unique views 123123
Unique downloads 1919

Share

Cite as