Published May 6, 2022
| Version v1
Software
Open
Sound Automation of Magic Wands (Artifact)
Creators
- 1. ETH Zurich
- 2. ENS Paris
- 3. The University of British Columbia
Description
This is the artifact for the CAV 2022 paper "Sound Automation of Magic Wands".
We tested the (Ubuntu 20.04) virtual machine using Virtual Box 6.1. The Login should be automatic. The username is "wands" and the password is "cav2022". The artifact was tested with 4GB of RAM and 1 core. The README instructions for the artifact can be found inside the .zip file and inside the VM at /home/wands/artifact/README.md.
Files
artifact.zip
Files
(8.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:fbbae9c0ed403a3c204780ece45ab476
|
8.8 GB | Preview Download |