sorry, we can't preview this file

...but you can still download tacas19art.ova
tacas19art.ova (2.44 GB)

TACAS 2019 Artifact Evaluation VM

Download (2.44 GB)
posted on 10.03.2019, 12:22 by Ernst Moritz Hahn, Ondřej Lengál
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.