Published August 30, 2022
| Version v2
Other
Open
Artifact for Multi-Phase Invariant Synthesis
Description
This is an artifact for the FSE'22 paper "Multi-Phase Invariant Synthesis".
The purpose of the artifact is to provide a environment to reproduce the results presented in the paper.
This is not a full documentation of the `ImplCheck` method within `FreqHorn`.
It is meant to allow for an individual to run the tools used in the paper's experiments for themselves.
Files
artifact_fse2022.zip
Files
(9.9 GB)
Name | Size | Download all |
---|---|---|
md5:2af5524d430225420407654488ded0d6
|
753.3 kB | Preview Download |
md5:14d712f2e9b2b5758d6d349c75372b19
|
9.9 GB | Download |