Published November 15, 2021
| Version v5
Other
Open
Artifact for POPL 2022 Paper: Induction Duality: Primal-Dual Search for Invariants
- 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 (benchmarks) and results (log files) for 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 induction-duality-popl-2022-artifact.txt.
Files
induction-duality-popl-2022-artifact.txt
Files
(5.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c912b4f539d5009a07a7732cd236bd90
|
5.4 GB | Download |
|
md5:115ead4f81c8769ab8869b955ed4cf27
|
7.3 kB | Preview Download |