Published January 8, 2025
| Version v1
Software
Open
PolySemist TACAS 2025 Artifact
Authors/Creators
Description
An artifact for reproducing the results described in the paper:
"Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction." Derek Egolf, Stavros Tripakis. TACAS 2025.