Published February 25, 2025 | Version v3
Software Open

Artifact for Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness

Creators

  • 1. ROR icon Massachusetts Institute of Technology
  • 2. ROR icon Seoul National University
  • 3. ROR icon Korea Advanced Institute of Science and Technology
  • 4. FuriosaAI

Description

This is the artifact accompanying the paper "Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness". The artifact contains the Coq proofs supporting the claims of this paper.

The artifact is available as a source code archive (`coq-lilo.zip`) which can be checked and compiled following the instructions in the `README.md` within the archive.

Files

coq-lilo.zip

Files (676.7 kB)

Name Size Download all
md5:b80351a929c2552ae3bb388205438cae
676.7 kB Preview Download
OSZAR »