sorry, we can't preview this file
tacas19art.ova (2.44 GB)
TACAS 2019 Artifact Evaluation VM
softwareposted on 2019-03-10, 12:22 authored 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.