sorry, we can't preview this file

...but you can still download tacas19art.ova

tacas19art.ova (2.44 GB)

TACAS 2019 Artifact Evaluation VM

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

History

Licence

Exports

Read the peer-reviewed publication

Logo branding

Licence

Exports