Published November 4, 2021
| Version v1
Software
Open
Adiar 1.0.1 : TACAS 2022 Artifact
Description
Adiar 1.0.1 : TACAS 2022 Artifact
This artifact consists of three parts.
- Adiar
The (runnable) source code for the Adiar BDD package. - BDD-Benchmark
The (runnable) source code for the set of benchmarks we have reported on in the paper. - Data
The full data set (both the raw console logs and the Libre Office files analysing the data).
For a more in-depth description, please read the README.txt file within the .zip file.
This artifact is created for the Virtual Machine used as part of the artifact evaluation of TACAS 2022.
Files
adiar_tacas.zip
Files
(486.9 MB)
Name | Size | Download all |
---|---|---|
md5:7eb7792ff5d0704ea9661e2b4b658b4f
|
486.9 MB | Preview Download |
Additional details
Related works
- Is part of
- Preprint: arXiv:2104.12101 (arXiv)