TACAS 2018 Artifact Evaluation VM

Software UNKNOWN
Hartmanns, Arnd; Wendler, Philipp;
  • Publisher: Figshare
  • Related identifiers: doi: 10.6084/m9.figshare.5896615.v1
  • Subject: TACAS 2018 | analytical techniques | system construction | system analysis | Theoretical Computer Science | Applied Computer Science | Virtual Machine | computer science | conference proceedings | program analysis | TACAS | Tools and Algorithms for the Construction and Analysis of Systems | artifact evaluation

This virtual machine was used for the evaluation of artifacts for TACAS 2018. It is based on an Ubuntu 16.04 64-bit OS with Linux 4.10 and the following packages: build-essential (this includes gcc), cmake, clang, mono-complete, openjdk-8-jdk, ruby. Additionally, a 32-b... View more
Share - Bookmark

  • Download from
    figshare via figshare (Software, 2018)
  • Cite this software