Published October 4, 2021
| Version 6
Software
Open
Artifact for POPL 2022 submission #30 "Fair Termination of Binary Sessions"
Description
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artifact consists of:
- a VirtualBox image `FairCheck.ova`
- a source code archive `FairCheck-master.zip`
- a PDF document with the installation instructions and the evaluation steps of the artifact