Published October 6, 2021
| Version v1
Other
Open
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants
Authors/Creators
- 1. VMware Research
- 2. Certora
- 3. Stanford University
- 4. University of Texas at Austin
Description
Artifact for POPL 2022 paper: Induction Duality: Primal-Dual Search for Invariants.
This record will be updated as the complete artifact is submitted and as part of the artifact evaluation process.
Files
popl22-paper428-artifact.txt
Files
(534 Bytes)
| Name | Size | Download all |
|---|---|---|
|
md5:23650087ff2c812a5bc3750fa0c766a8
|
534 Bytes | Preview Download |