sorry, we can't preview this file
tacas19art.ova (2.44 GB)
TACAS 2019 Artifact Evaluation VM
software
posted on 2019-03-10, 12:22 authored by Ernst Moritz Hahn, Ondřej LengálThe 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.