This artifact aims to verify the concept of wait-freedom in concurrent higher-order programs.
Documented verification process in the accompanying artifact.pdf.
Demonstrated techniques for analyzing concurrent program behavior.
Provided tools for verifying wait-freedom, enhancing program reliability.
Illustrated successful application of verification techniques to higher-order programs.
Abstract
This is an artifact for the "Verifying wait-freedom for concurrent higher-order programs" paper accepted to ECOOP'26. See the artifact.pdf file for the details.