Published June 24, 2024
| Version v3
Software
Open
Artifact and Appendix for Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
Description
This is the artifact for "Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq", submitted to PLDI 2024. It consists of a Coq implementation of a new specification inference technique in separation logic introduced in the paper.
Version 2 of this artifact has been submitted to artifact evaluation at PLDI'24. Version 3 updates the artifact to match the camera ready version of the paper.
Files
quiver_artifact.zip
Files
(3.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:29725ff05c3524d95a2b5b14cfd63736
|
3.5 GB | Preview Download |