sorry, we can't preview this file
...but you can still download tacas19art.ova
TACAS 2019 Artifact Evaluation VM
softwareposted on 10.03.2019 by Ernst Moritz Hahn, Ondřej Lengál
Code as a research output can either be uploaded directly from your computer or through the code management system GitHub. Versioning of code repositories is supported.
The virtual machine that was used for evaluation of artifacts for TACAS 2019. The virtual machine is based on the Ubuntu 18.04.1 LTS GNU/Linux operating system with the following additional packages: build-essential, cmake, clang, mono-complete, openjdk-8-jdk, ruby, and a 32-bit libc. The password for the user "tacas19" is "a". The VM is packaged in an Open Virtualization Archive and can be imported, e.g., into VirtualBox.