Published August 30, 2022 | Version v2
Other Open

Artifact for Multi-Phase Invariant Synthesis

Authors/Creators

  • 1. Florida State University

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
md5:2af5524d430225420407654488ded0d6
753.3 kB Preview Download
md5:14d712f2e9b2b5758d6d349c75372b19
9.9 GB Download