TACAS 2019 Artifact Evaluation VM

2019-03-10T12:22:13Z (GMT) 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 "<i>tacas19</i>" is "<i>a</i>". The VM is packaged in an Open Virtualization Archive and can be imported, e.g., into VirtualBox.<br>