Published May 7, 2021 | Version v2
Software Open

Artifact for article "Reflections on Termination of Linear Loops"

Creators

  • 1. Princeton University

Description

This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artifact provided is an OVA virtual machine that can be opened via VirtualBox. The operating system is Ubuntu 18.04 LTS. It contains an installation of the tool as described in the paper, and the benchmark suites we have used to evaluate the tool. It also contains installations of benchexec and ComPACT, Ultimate Automizer, 2LS, CPAchecker for easy reproduction of results in the Evaluation section of the paper. 

Files

README.txt

Files (6.6 GB)

Name Size Download all
md5:f6d04c08fd1008115072b7ac55e6c2c0
6.6 GB Download
md5:bea3e539f0e40c3270ce75dc445ef851
10.4 kB Preview Download

Additional details

References

  • Shaowei Zhu and Zachary Kincaid, Reflections on Termination of Linear Loops, CAV 2021
  • Shaowei Zhu and Zachary Kincaid, Termination Analysis without the Tears, PLDI 2021