10.6084/m9.figshare.7823978.v1 Ernst Moritz Hahn Ernst Moritz Hahn Ondřej Lengál Ondřej Lengál TACAS 2019 Artifact Evaluation VM Springer Nature 2019 Virtual machine TACAS 2019 2019-03-10 12:22:13 Software https://springernature.figshare.com/articles/software/TACAS_2019_Artifact_Evaluation_VM/7823978 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>