There is a newer version of the record available.

Published November 14, 2021 | Version v4
Other Open

Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants

Creators

  • 1. VMware Research, Stanford University
  • 2. Certora
  • 3. Stanford University
  • 4. University of Texas at Austin

Description

Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants

 

The artifact is provided as a virtual machine, and includes input files and results of all experiments reported in the paper. The VM also includes a version of mypyvy that matches the one used in the paper for the experiments of primal-dual Houdini and UPDR.

 

For more details, see popl2022-induction-duality-artifact.txt.

Files

popl2022-induction-duality-artifact.txt

Files (5.1 GB)

Name Size Download all
md5:19fb67e1f3384c51577e3271fc30d3f2
5.1 GB Download
md5:115ead4f81c8769ab8869b955ed4cf27
7.3 kB Preview Download