Description

The artifact consists of a virtual machine (VM) in OVA format. The VM contains an installation of Ubuntu 22.04, along with the required software to verify the experimental claims in the article Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis. The VM contains an executable duet.exe which implements the ideas described in the article. The VM also contains software to compare the ideas of the article with the tools ChilonInv, CRA, Veriabs, and Ultimate Automizer on benchmarks sourced from the software verification competition (SV-COMP).

Provenance

The repository for duet is https://github.com/zkincaid/duet, which implements the ideas of the article as well as the tools ChilonInv and CRA. The benchmarks as well as scripts to run them can be found at https://github.com/cyphertjohn/bench. Veriabs was sourced from https://gitlab.com/sosy-lab/sv-comp/archives-2023/raw/svcomp23/2023/veriabs.zip. Ultimate Automizer was sourced from https://gitlab.com/sosy-lab/sv-comp/archives-2023/raw/svcomp23/2023/uautomizer.zip.

License