software . 2020

TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS

Sebastian Hjort Hyberts; Peter Gjøl Jensen; Thomas Neele;
Open Source
  • Published: 01 Jan 2020
  • Publisher: Zenodo
Abstract
<p>This is a virtual machine (VM) with a GNU/Linux&nbsp;installation to be used for evaluation of artifacts accompanying papers at computer science conferences or journals. It is based on Ubuntu 20.04 with&nbsp;the following additional packages installed: build-essential, cmake, clang, mono-complete, openjdk-8-jdk, python3.8, pip3, ruby, and a 32-bit libc. Moreover, VirtualBox guest additions are installed on the VM, it is therefore possible to easily connect a shared folder from a host computer running VirtualBox. The&nbsp;login and&nbsp;password of the default user are: &ldquo;tacas21&rdquo; / &ldquo;tacas21&rdquo;.</p> <p>The VM is intended to be used with ar...
Subjects
free text keywords: Virtual Machine, Artifact Evaluation, Ubuntu, TACAS
Download from
Zenodo
Software . 2020
Provider: Zenodo
Any information missing or wrong?Report an Issue