Springer Nature

sorry, we can't preview this file

tacas19art.ova (2.44 GB)

TACAS 2019 Artifact Evaluation VM

Download (2.44 GB)
posted 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.


Usage metrics

    The International Conference on Tools and Algorithms for the Construction and Analysis of Systems